1 unstable release
0.0.0 | Jul 17, 2019 |
---|
#9 in #type-theory
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
.