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