Lib.rs

› Rust模式
#type-level #peano #naturals

peano-natural

作者：M Farkas-Dyck

3个不稳定版本

使用旧Rust 2015

0.2.1 2016年2月6日
0.2.0 2016年2月5日
0.1.0 2016年1月29日

#34 in #type-level

MIT/Apache

6KB

类型级别Peano自然数

无运行时依赖