CodaFi/abstract-algorithm

Optimal evaluator of λ-calculus terms.