Reason about invariants and preconditions with ghosts of departed proofs.

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

See all snapshots gdp appears in

BSD-3-Clause licensed by Matt Noonan

gdp: Ghosts of Departed Proofs

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