[−][src]Crate minitt
Modules
check | Type check: all about type checking. |
normal | Normal form: when we read back, we get a normal form expression. |
reduce | Reduction: eval and eval's friends. |
syntax | Syntax: term, expression, context.
Methods are inside the |