indexing
| Crates.io | indexing |
| lib.rs | indexing |
| version | 0.4.1 |
| source | src |
| created_at | 2016-01-24 16:23:14.559965 |
| updated_at | 2019-09-11 18:13:19.467865 |
| description | Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds. |
| homepage | |
| repository | https://github.com/bluss/indexing |
| max_upload_size | |
| id | 3978 |
| size | 162,274 |
publish (github:lalrpop:publish)
documentation
https://docs.rs/indexing