Reason about invariants and preconditions with ghosts of departed proofs.

LTS Haskell 16.15:
Stackage Nightly 2020-09-24:
Latest on Hackage:

See all snapshots gdp appears in

BSD-3-Clause licensed by Matt Noonan
Maintained by

Module documentation for

This version can be pinned in stack with:gdp-,2076

gdp: Ghosts of Departed Proofs

Depends on 3 packages(full list with versions):
Used by 1 package in lts-16.14(full list with versions):