Reason about invariants and preconditions with ghosts of departed proofs.

Version on this page:
LTS Haskell 12.22:
Stackage Nightly 2018-12-12:
Latest on Hackage:

See all snapshots gdp appears in

BSD3 licensed by Matt Noonan

gdp: Ghosts of Departed Proofs

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