/abstract-algorithm

Optimal evaluator of λ-calculus terms.

Primary LanguageJavaScript

Stargazers

No one’s star this repository yet.