@hackage gdp0.0.0.2

Reason about invariants and preconditions with ghosts of departed proofs.

Categories
License
BSD-3-Clause
Maintainer
matt.noonan@gmail.com
Links
Versions
- 0.0.3.0 Wed, 13 Nov 2019
- 0.0.0.2 Mon, 18 Jun 2018
- 0.0.0.1 Sun, 17 Jun 2018

Installation
In your cabal file:
Dependencies (2)
- base >=4.7 && <5
- lawful
Dependents (4)
@hackage/servant-gdp, @hackage/NaCl, @hackage/st2, @hackage/crypto-sodium

gdp: Ghosts of Departed Proofs