peano
| Crates.io | peano |
| lib.rs | peano |
| version | 1.0.2 |
| source | src |
| created_at | 2015-10-12 03:18:21.333737 |
| updated_at | 2016-09-04 20:51:41.364001 |
| description | The peano numbers implemented in Rust's type system. Consider using typenum instead for much faster type-level numbers. |
| homepage | http://paholg.com/project/peano |
| repository | https://github.com/paholg/peano |
| max_upload_size | |
| id | 3200 |
| size | 23,650 |
Paho Lurie-Gregg (paholg)
documentation
http://paholg.com/peano
README
Peano
Peano is a library for type-level numbers in Rust. It has been supplanted by typenum, which does the same things (and more) and is much faster.
The advantage of peano is that it is much simpler; the entire library is a single file that is under 400 lines of code, many of which are comments.
So, take a look if you want to explore type-level programming. If you want to import a library, use typenum.