@hackage st2 dependencies

3 results

library:st2 (3 dependencies)

@haskell/primitive

Primitive memory-related operations

BSD-3-Clause>=0.6.4 && <0.8

@haskell/base

Core data structures and operations

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

@hackage/gdp

Reason about invariants and preconditions with ghosts of departed proofs.

BSD-3-Clause>=0.0.0.1 && <0.1