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