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