Structs§
- A pointer to a term.
Enums§
- The different kinds of term that can appear in the AST.
Functions§
- Bump all the index of the variables in a term by
amount
, ignoring variables whose index is less thancutoff
. This is hygenic when it recurses into subcontexts (ie. cutoff is adjusted appropriately). - Normalise a term.
- Normalise a term assuming all it’s subterms are already normalised. Does beta/eta reduction on the head of the term.
- substitute
sub
for the variable atindex
.