homepage: https://github.com/githubuser/gdp#readme
changelog-type: ''
hash: bf154ac08b0441dd62c60be2a6240cf679cb964c2239d1323ee03c3e698d56f8
test-bench-deps: {}
maintainer: matt.noonan@gmail.com
synopsis: Reason about invariants and preconditions with ghosts of departed proofs.
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  lawful: -any
  gdp: -any
all-versions:
- 0.0.0.1
- 0.0.0.2
author: Matt Noonan
latest: 0.0.0.2
description-type: markdown
description: ! '# gdp: Ghosts of Departed Proofs




'
license-name: BSD-3-Clause

homepage: https://github.com/matt-noonan/gdp#readme
changelog-type: ''
hash: 8633d032fb1e308418f327c9b7ce85c612a8b73f9056ea6a00e0f89d297ece0f
test-bench-deps: {}
maintainer: matt.noonan@gmail.com
synopsis: Reason about invariants and preconditions with ghosts of departed proofs.
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  lawful: -any
  gdp: -any
all-versions:
- 0.0.0.1
- 0.0.0.2
- 0.0.3.0
author: Matt Noonan
latest: 0.0.3.0
description-type: markdown
description: |+
  # gdp: Ghosts of Departed Proofs

license-name: BSD-3-Clause

Update from Hackage at 2019-11-13T00:47:03Z
Update from Hackage at 2019-11-13T00:47:03Z
