@hackage / gdp

Reason about invariants and preconditions with ghosts of departed proofs.

Latest0.0.3.0

Dependencies

library:gdp (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / lawful Assert the lawfulness of your typeclass instances.
- Version:
- License: BSD-3-Clause

executable:gdp (2 dependencies)

@hackage / base Core data structures and operations
- Version:
- License: BSD-3-Clause
@hackage / gdp Reason about invariants and preconditions with ghosts of departed proofs.
- Version:
- License: BSD-3-Clause