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 23.19: | 0.0.3.0 |
Stackage Nightly 2025-04-30: | 0.0.3.0 |
Latest on Hackage: | 0.0.3.0 |
Maintained by [email protected]
This version can be pinned in stack with:
gdp-0.0.0.2@sha256:bf154ac08b0441dd62c60be2a6240cf679cb964c2239d1323ee03c3e698d56f8,2001
Module 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):