Lib.rs

› Rust patterns
#type-level #peano #naturals

peano-natural

by M Farkas-Dyck

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

#34 in #type-level

MIT/Apache

6KB

Type-level Peano naturals

No runtime deps