absal

Crates.ioabsal
lib.rsabsal
version0.1.4
sourcesrc
created_at2018-05-14 13:48:16.20184
updated_at2018-05-15 18:27:57.214006
descriptionOptimal reduction of λ-terms
homepage
repository
max_upload_size
id65338
size14,327
Victor Taelin (VictorTaelin)

documentation

README

Commit count: 0

cargo fmt