A cunning interpreter for the pure untyped λ-calculus.

Compare changes

Choose any two refs to compare.

Recently updated branches in this repository: