@hackage st2 dependencies

4 results

library:st2 (4 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/primitive

Primitive memory-related operations

@hackage/ghc-prim

GHC primitives

@hackage/gdp

Reason about invariants and preconditions with ghosts of departed proofs.