| Identifier |
Opaque identifiers that can be freshly constructed.
|
| Pos | |
| Arith_syntax | |
| Arith_util |
Parser and printer for arithmetic expressions.
|
| HOF_syntax |
Abstract syntax for the HOF language.
|
| HOF_sugar |
Syntactic sugar for the HOF language.
|
| HOF_util |
Parser and printer for HOF.
|
| Typed_syntax |
Abstract syntax for the Typed language.
|
| Typed_util |
Parser and printer for the typed language
|
| Typed_eval |
Evaluator for the typed language
|
| Typeinf_syntax |
The two syntaxes of the Typeinf language
|
| Typeinf_util |
Parser and printer for the Typeinf language
|
| M_syntax |
Abstract syntax for the M language.
|
| M_util |
Parser and printer for the M language
|