peano-natural
| Crates.io | peano-natural |
| lib.rs | peano-natural |
| version | 0.2.1 |
| created_at | 2016-01-29 02:18:50.904632+00 |
| updated_at | 2016-02-06 18:01:28.944128+00 |
| description | Type-level Peano naturals |
| homepage | |
| repository | https://github.com/strake/libreal.rs |
| max_upload_size | |
| id | 4009 |
| size | 12,855 |
M Farkas-Dyck (strake)