Quick links: Documentation
A highly experimental Rust library for imprinting values at the type level.
Add this to your Cargo.toml
:
[dependencies]
imprint = "*"
Next, prepend this to the root module of your crate:
extern crate imprint;
- Type-level values
- Type equality
- Indexing
- Existential types
- Sound logic in a Turing-complete language
- Higher-ranked types
Dual-licensed under Apache and MIT.