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