Optimal evaluator of λ-calculus terms. - View it on GitHub
Star
285
Rank
129976