@hackage gdp dependencies

4 results

library:gdp (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@hackage/lawful

Assert the lawfulness of your typeclass instances.

executable:gdp (2 dependencies)

@haskell/base

Core data structures and operations

@hackage/gdp

Reason about invariants and preconditions with ghosts of departed proofs.