finery
| Crates.io | finery |
| lib.rs | finery |
| version | 0.0.0 |
| source | src |
| created_at | 2019-07-17 23:18:54.457629 |
| updated_at | 2019-07-17 23:18:54.457629 |
| description | Refinement types? |
| homepage | https://docs.rs/crate/finery |
| repository | https://gitlab.com/t-rust/finery.rs |
| max_upload_size | |
| id | 149774 |
| size | 1,826 |
Crates.io crate admins (github:t-rust:crates-io-crate-admins)
documentation
https://docs.rs/finery
README
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.