Crate malk_core

Source

Structs§

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 than cutoff. 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 at index.