A cunning interpreter for the pure untyped λ-calculus.

Branches