gdp

Reason about invariants and preconditions with ghosts of departed proofs. https://github.com/matt-noonan/gdp#readme

LTS Haskell 15.7:0.0.3.0
Stackage Nightly 2020-04-07:0.0.3.0
Latest on Hackage:0.0.3.0

See all snapshots gdp appears in

BSD-3-Clause licensed by Matt Noonan
Maintained by [email protected]

Module documentation for 0.0.3.0

This version can be pinned in stack with:[email protected]:8633d032fb1e308418f327c9b7ce85c612a8b73f9056ea6a00e0f89d297ece0f,2076

gdp: Ghosts of Departed Proofs

Depends on 3 packages(full list with versions):
Used by 1 package in nightly-2020-03-25(full list with versions):