Optimal evaluator of λ-calculus terms. - View it on GitHub
Star
286
Rank
131906