/abstract-algorithm

Optimal evaluator of λ-calculus terms.

Primary LanguageJavaScript

Watchers