A cunning interpreter for the pure untyped λ-calculus.

Branches

master Default
f41052fb ·