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 22.39: | 0.0.3.0 |
Stackage Nightly 2024-10-29: | 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):