Optimal evaluator of λ-calculus terms.
Primary LanguageJavaScript
No one’s watching this repository yet.