[−][src]Crate minitt
Modules
normal | Normal form: when we read back, we get a normal form expression. |
read_back | Read back: read back functions, converting terms to normal forms with de-bruijn indices so we do not need to deal with alpha conversions. |
reduce | Reduction: eval and eval's friends. |
syntax | Syntax: term, expression, context.
Methods are defined in |
type_check | Type checking: the four type checking functions -- |