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