Crate malk_core [−] [src]
Structs
Intrinsic | |
Term |
A pointer to a term. |
World |
Enums
TermKind |
The different kinds of term that can appear in the AST. |
Functions
bump_index |
Bump all the index of the variables in a term by |
normalise |
Normalise a term. |
reduce_head |
Normalise a term assuming all it's subterms are already normalised. Does beta/eta reduction on the head of the term. |
substitute |
substitute |