A cunning interpreter for the pure untyped λ-calculus.

No pipelines have been run yet.