[][src]Crate minitt

Reading the README is recommended before reading the documentation.

Modules

normal

Normal form: when we read back, we get a normal form expression.

parser

Parser, from text to AST and a bunch of utilities

pretty

Pretty print utilities

read_back

Read back: read back functions.

reduce

Reduction: eval and eval's friends.

syntax

Syntax: term, expression, context.

type_check

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