@hackage / gdp

Reason about invariants and preconditions with ghosts of departed proofs.

0.0.3.0

Dependents

@hackage / NaCl Easy-and-safe-to-use high-level Haskell bindings to NaCl
- Version: 0.0.5.0
- Last uploaded: 3 years ago
- License: MPL-2.0
@hackage / crypto-sodium Easy-and-safe-to-use high-level cryptography based on Sodium
- Version: 0.0.5.0
- Last uploaded: 3 years ago
- License: MPL-2.0
@hackage / servant-gdp Use Servant and GDP together to create expressive web API types
- Version: 0.0.1.2
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / st2 shared heap regions between local mutable state threads
- Version: 0.1.1
- Last uploaded: 4 years ago
- License: BSD-3-Clause