closure_calculus
| Crates.io | closure_calculus |
| lib.rs | closure_calculus |
| version | 0.1.0 |
| created_at | 2021-04-07 21:12:59.868311+00 |
| updated_at | 2021-04-07 21:12:59.868311+00 |
| description | An implementation of Closure Calculus |
| homepage | https://github.com/advancedresearch/closure_calculus |
| repository | https://github.com/advancedresearch/closure_calculus.git |
| max_upload_size | |
| id | 380554 |
| size | 20,257 |
Sven Nilsen (bvssvni)
documentation
README
Closure Calculus
An implementation of Closure Calculus
Based on paper by Barry Jay: https://dl.acm.org/doi/pdf/10.1145/3294032.3294085