A | |
| Arith_syntax | |
| Arith_util |
Parser and printer for arithmetic expressions.
|
E | |
| Explicit [Typeinf_syntax] | |
H | |
| HOF_sugar |
Syntactic sugar for the HOF language.
|
| HOF_syntax |
Abstract syntax for the HOF language.
|
| HOF_util |
Parser and printer for HOF.
|
I | |
| Identifier |
Opaque identifiers that can be freshly constructed.
|
| Implicit [Typeinf_syntax] | |
M | |
| M_syntax |
Abstract syntax for the M language.
|
| M_util |
Parser and printer for the M language
|
| Make [Typed_eval] |
When applied, this functor creates a REPL that runs the provided
type checker and the evaluator.
|
| Map [Identifier] | |
P | |
| Pos | |
S | |
| Set [Identifier] | |
T | |
| Typed_eval |
Evaluator for the typed language
|
| Typed_syntax |
Abstract syntax for the Typed language.
|
| Typed_util |
Parser and printer for the typed language
|
| Typeinf_syntax |
The two syntaxes of the Typeinf language
|
| Typeinf_util |
Parser and printer for the Typeinf language
|