1 unstable release

0.0.0 Jul 17, 2019

#9 in #type-theory

Apache-2.0

2KB

finery

It might be nice to have refinement types in Rust. If you would like to try implementing them in a library such as this might be, contact the trust project!

This crate is part of the trust project and is open to volunteers who would like to bring it to fruition. See also bounder.

No runtime deps