1 unstable release
| 0.1.0 | Apr 7, 2021 |
|---|
#1741 in Math
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