Module minitt::normal

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

Depends on module syntax.

Enums

NormalExpression

NExp in Mini-TT, normal form expressions. Deriving Eq so we can do comparison.

Type Definitions

NormalDeepClosure	NSClos in Mini-TT, normal form closures.
NormalNeutral	NNeut in Mini-TT, normal form neutral values.
NormalTelescope	NRho in Mini-TT, normal form telescopes (contexts).