dependent_ghost
| Crates.io | dependent_ghost |
| lib.rs | dependent_ghost |
| version | 0.1.1 |
| source | src |
| created_at | 2020-07-19 17:18:59.103963 |
| updated_at | 2020-07-19 17:52:28.889363 |
| description | An implementation of Matt Noonan's 'Ghosts of Departed Proofs'. |
| homepage | https://kataskeue.com/gdp.pdf |
| repository | https://github.com/CT075/dependent-ghost |
| max_upload_size | |
| id | 266928 |
| size | 12,224 |
Cameron Wong (CT075)
documentation
README
What is this?
dependent-ghost is a library that provides some of the benefits of dependent
typing to Rust via the Ghosts of Departed Proofs
technique. Library authors can provide APIs with statically-checked preconditions
and invariants, which the user can validate however necessary.
All credit for this technique goes to Matt Noonan, the author of the original paper.