closure_calculus

Crates.ioclosure_calculus
lib.rsclosure_calculus
version0.1.0
sourcesrc
created_at2021-04-07 21:12:59.868311
updated_at2021-04-07 21:12:59.868311
descriptionAn implementation of Closure Calculus
homepagehttps://github.com/advancedresearch/closure_calculus
repositoryhttps://github.com/advancedresearch/closure_calculus.git
max_upload_size
id380554
size20,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

Commit count: 8

cargo fmt