abstract-algorithm

Optimal evaluator of λ-calculus terms.

Stars

265

Ecosystems: JavaScript

Total Pull Requests

Merged Pull Requests

Total Issues

Time to Close Issues

N/A

4 months

An optimal function evaluator written in JavaScript.

Minimal, efficient proof language

Searches through infinite branches

A minimal proof language.

A simple, untyped, terminating functional language that is fully compatible with optimal reductions.

A simple, clean and fast implementation of the λ-calculus on JavaScript.

Multiplication on optimal λ-calculus reducers

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.