@hackage st2 dependencies

4 results

library:st2 (4 dependencies)

@haskell/primitive

Primitive memory-related operations

@haskell/ghc-prim

GHC primitives

@haskell/base

Core data structures and operations

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

@hackage/gdp

Reason about invariants and preconditions with ghosts of departed proofs.