#closures #calculus #jay #barry

closure_calculus

An implementation of Closure Calculus

1 unstable release

0.1.0 Apr 7, 2021

#1582 in Math

Apache-2.0

9KB
160 lines

Closure Calculus

An implementation of Closure Calculus

Based on paper by Barry Jay: https://dl.acm.org/doi/pdf/10.1145/3294032.3294085


lib.rs:

Closure Calculus

An implementation of Closure Calculus

Based on paper by Barry Jay: https://dl.acm.org/doi/pdf/10.1145/3294032.3294085

No runtime deps