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
15KB
363 lines
Optimal reduction of λ-terms
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
15KB
363 lines
Optimal reduction of λ-terms