improve-0.0.2: An imperative, verifiable programming language for embedded applications. (Index)

improve-0.0.2: 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
bool'	Language.ImProve
Branch
1 (Data Constructor)	Language.ImProve.Tree
2 (Data Constructor)	Language.ImProve.Core
code
1 (Function)	Language.ImProve.Code
2 (Function)	Language.ImProve
Const	Language.ImProve.Core
constant	Language.ImProve
decr	Language.ImProve
Div	Language.ImProve.Core
div_	Language.ImProve
E	Language.ImProve.Core, Language.ImProve
Eq	Language.ImProve.Core
false	Language.ImProve
float	Language.ImProve
float'	Language.ImProve
gcd'	Language.ImProve.Examples
gcdBuild	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
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
Ref	Language.ImProve.Core
ref	Language.ImProve
scope	Language.ImProve
Sequence	Language.ImProve.Core
showConst	Language.ImProve.Core
showType	Language.ImProve.Core
Statement	Language.ImProve.Core
Stmt	Language.ImProve
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
verify
1 (Function)	Language.ImProve.Verify
2 (Function)	Language.ImProve
zero	Language.ImProve.Core, Language.ImProve
\|\|.	Language.ImProve