Crates.io | closure_calculus |
lib.rs | closure_calculus |
version | 0.1.0 |
source | src |
created_at | 2021-04-07 21:12:59.868311 |
updated_at | 2021-04-07 21:12:59.868311 |
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 |
An implementation of Closure Calculus
Based on paper by Barry Jay: https://dl.acm.org/doi/pdf/10.1145/3294032.3294085