An implementation of Closure Calculus
Based on paper by Barry Jay: https://dl.acm.org/doi/pdf/10.1145/3294032.3294085
A Rust library for Barry Jay's Closure Calculus
An implementation of Closure Calculus
Based on paper by Barry Jay: https://dl.acm.org/doi/pdf/10.1145/3294032.3294085
A Rust library for Barry Jay's Closure Calculus
Apache License 2.0