A cunning interpreter for the pure untyped λ-calculus.
Compare changes
Choose any two refs to compare.
Recently updated branches in this repository:
Choose any two refs to compare.
Recently updated branches in this repository: