[−][src]Crate minitt
Reading the README is recommended before reading the documentation.
Modules
ast | Syntax: term, expression, context. |
check | Type checking: everything related to type-checking, including: |
eval | Reduction: eval and eval's friends. |
parser | Parser, from text to AST and a bunch of utilities |
pretty | Pretty print utilities |