[][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.
Functions are basically put into impl blocks, their docs are not inside this module.

syntax

Syntax: term, expression, context. Methods are inside the reduce module.