Reason about invariants and preconditions with ghosts of departed proofs.

Version on this page:
LTS Haskell 13.22:
Stackage Nightly 2019-05-24:
Latest on Hackage:

See all snapshots gdp appears in

BSD-3-Clause licensed by Matt Noonan
Maintained by

Module documentation for

There are no documented modules for this package.

gdp: Ghosts of Departed Proofs

Depends on 3 packages:
Used by 2 packages:
comments powered byDisqus