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

#33 in #type-level

MIT/Apache

6KB


Type-level Peano naturals

No runtime deps