[][src]Crate minitt

Modules

normal

Normal form: when we read back, we get a normal form expression.
Functions are basically put into impl blocks, their docs are not inside this module.

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

syntax

Syntax: term, expression, context. Methods are defined in reduce/read_back modules but their documents are here.

type_check

Type checking: the four type checking functions -- checkI, checkD, check and checkT.