Contents
Index
improve-0.0.3: An imperative, verifiable programming language for embedded applications.
Index
&&.
Language.ImProve
*.
Language.ImProve
/.
Language.ImProve
/=.
Language.ImProve
<.
Language.ImProve
<=.
Language.ImProve
<==
Language.ImProve
==.
Language.ImProve
>.
Language.ImProve
>=.
Language.ImProve
Add
Language.ImProve.Core
AllE
Language.ImProve.Core
,
Language.ImProve
all_
Language.ImProve
And
Language.ImProve.Core
and_
Language.ImProve
any_
Language.ImProve
Assert
Language.ImProve.Core
assert
Language.ImProve
AssignBool
Language.ImProve.Core
AssignFloat
Language.ImProve.Core
AssignInt
Language.ImProve.Core
Assume
Language.ImProve.Core
assume
Language.ImProve
Bool
Language.ImProve.Core
bool
Language.ImProve
bool'
Language.ImProve
Branch
1 (Data Constructor)
Language.ImProve.Tree
2 (Data Constructor)
Language.ImProve.Core
buildGCD
Language.ImProve.Examples
code
1 (Function)
Language.ImProve.Code
2 (Function)
Language.ImProve
Const
1 (Type/Class)
Language.ImProve.Core
2 (Data Constructor)
Language.ImProve.Core
const'
Language.ImProve.Core
constant
Language.ImProve
counter
Language.ImProve.Examples
decr
Language.ImProve
Div
Language.ImProve.Core
div_
Language.ImProve
E
Language.ImProve.Core
,
Language.ImProve
Eq
Language.ImProve.Core
exprVars
Language.ImProve.Core
false
Language.ImProve
Float
Language.ImProve.Core
float
Language.ImProve
float'
Language.ImProve
gcd'
Language.ImProve.Examples
gcdMain
Language.ImProve.Examples
Ge
Language.ImProve.Core
Gt
Language.ImProve.Core
ifelse
Language.ImProve
if_
Language.ImProve
imply
Language.ImProve
incr
Language.ImProve
input
Language.ImProve
Int
Language.ImProve.Core
int
Language.ImProve
int'
Language.ImProve
Le
Language.ImProve.Core
Leaf
Language.ImProve.Tree
limit
Language.ImProve
linear
Language.ImProve
Lt
Language.ImProve.Core
maximum_
Language.ImProve
max_
Language.ImProve
minimum_
Language.ImProve
min_
Language.ImProve
Mod
Language.ImProve.Core
mod_
Language.ImProve
Mul
Language.ImProve.Core
Mux
Language.ImProve.Core
mux
Language.ImProve
Name
Language.ImProve.Core
,
Language.ImProve
Not
Language.ImProve.Core
not_
Language.ImProve
Null
Language.ImProve.Core
NumE
Language.ImProve.Core
,
Language.ImProve
Or
Language.ImProve.Core
or_
Language.ImProve
Path
Language.ImProve.Core
PathName
Language.ImProve.Core
pathName
Language.ImProve.Core
Ref
Language.ImProve.Core
ref
Language.ImProve
scope
Language.ImProve
Sequence
Language.ImProve.Core
Statement
Language.ImProve.Core
Stmt
Language.ImProve
stmtVars
Language.ImProve.Core
Sub
Language.ImProve.Core
Tree
Language.ImProve.Tree
tree
Language.ImProve.Tree
true
Language.ImProve
V
1 (Type/Class)
Language.ImProve.Core
,
Language.ImProve
2 (Data Constructor)
Language.ImProve.Core
VarInfo
Language.ImProve.Core
varInfo
Language.ImProve.Core
verify
1 (Function)
Language.ImProve.Verify
2 (Function)
Language.ImProve
verifyCounter
Language.ImProve.Examples
zero
Language.ImProve.Core
,
Language.ImProve
||.
Language.ImProve