gdp

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

LTS Haskell 14.1:0.0.0.2
Stackage Nightly 2019-08-19:0.0.0.2
Latest on Hackage:0.0.0.2

See all snapshots gdp appears in

BSD-3-Clause licensed by Matt Noonan
Maintained by matt.noonan@gmail.com

Module documentation for 0.0.0.2

This version can be pinned in stack with:gdp-0.0.0.2@sha256:bf154ac08b0441dd62c60be2a6240cf679cb964c2239d1323ee03c3e698d56f8,2001

gdp: Ghosts of Departed Proofs

Depends on 3 packages(full list with versions):
Used by 1 package in lts-14.0(full list with versions):
comments powered byDisqus