Reason about invariants and preconditions with ghosts of departed proofs.

LTS Haskell 22.23:
Stackage Nightly 2024-05-25:
Latest on Hackage:

See all snapshots gdp appears in

BSD-3-Clause licensed by Matt Noonan
Maintained by [email protected]
This version can be pinned in stack with:gdp-,2076
Depends on 3 packages(full list with versions):
Used by 1 package in nightly-2024-04-18(full list with versions):

gdp: Ghosts of Departed Proofs