gdp
Reason about invariants and preconditions with ghosts of departed proofs.
https://github.com/githubuser/gdp#readme
| Version on this page: | 0.0.0.2 |
| LTS Haskell 21.14: | 0.0.3.0 |
| Stackage Nightly 2023-10-03: | 0.0.3.0 |
| Latest on Hackage: | 0.0.3.0 |
Maintained by matt.noonan@gmail.com
This version can be pinned in stack with:
gdp-0.0.0.2@sha256:bf154ac08b0441dd62c60be2a6240cf679cb964c2239d1323ee03c3e698d56f8,2001Module documentation for 0.0.0.2
Depends on 3 packages(full list with versions):
Used by 1 package in lts-13.11(full list with versions):