Lib.rs

›

#natural #naturals

peano-natural

Owned by strake.

3 unstable releases

Uses old Rust 2015

0.2.1	Feb 6, 2016
0.2.0	Feb 5, 2016
0.1.0	Jan 29, 2016

#16 in #natural

MIT/Apache

6KB

Type-level Peano naturals

No runtime deps