Lib.rs

›
#optimal #reduction #λ-terms

bin+lib absal

by Victor Taelin

5 releases

Uses old Rust 2015

0.1.4 May 15, 2018
0.1.3 May 15, 2018
0.1.2 May 15, 2018
0.1.1 May 14, 2018
0.1.0 May 14, 2018

#9 in #optimal

MIT license

15KB
363 lines

Optimal reduction of λ-terms

No runtime deps