indexing 0.1.2

Sound unchecked indexing using “generativity”; a type system approach to indices and ranges that are trusted to be in bounds.
Documentation
[package]
name = "indexing"
version = "0.1.2"
authors = ["bluss"]

license = "MIT/Apache-2.0"
repository = "https://github.com/bluss/indexing"
documentation = "https://docs.rs/indexing"

description = "Sound unchecked indexing using “generativity”; a type system approach to indices and ranges that are trusted to be in bounds."

keywords = ["data-structure", "generativity", "lower-bound"]

[lib]
path = "indexing.rs"

[dev-dependencies]
compiletest_rs = "0.2"
rand = "0.3"
quickcheck = "0.2"

[profile.bench]
debug = true