gdp
Reason about invariants and preconditions with ghosts of departed proofs.
https://github.com/matt-noonan/gdp#readme
LTS Haskell 22.37: | 0.0.3.0 |
Stackage Nightly 2024-10-11: | 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.3.0@sha256:8633d032fb1e308418f327c9b7ce85c612a8b73f9056ea6a00e0f89d297ece0f,2076
Module documentation for 0.0.3.0
Depends on 3 packages(full list with versions):
Used by 1 package in lts-21.7(full list with versions):