[−][src]Module minitt::normal
Normal form: when we read back, we get a normal form expression.
Depends on module syntax
.
Enums
NormalExpression |
|
Type Definitions
NormalDeepClosure |
|
NormalNeutral |
|
NormalTelescope |
|
Normal form: when we read back, we get a normal form expression.
Depends on module syntax
.
NormalExpression |
|
NormalDeepClosure |
|
NormalNeutral |
|
NormalTelescope |
|