Lib.rs

›
#reduction #optimal #λ-terms

bin+lib absal

作者：Victor Taelin

5个版本

使用旧的Rust 2015

0.1.4 2018年5月15日
0.1.3 2018年5月15日
0.1.2 2018年5月15日
0.1.1 2018年5月14日
0.1.0 2018年5月14日

9 在 #optimal

23 每月下载量

MIT 许可证

15KB
363 行

λ-terms的最佳归约

无运行时依赖