Crate malk_core

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 amount, ignoring variables whose index is less than cutoff. This is hygenic when it recurses into subcontexts (ie. cutoff is adjusted appropriately).

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 sub for the variable at index.