@hackage / st2

shared heap regions between local mutable state threads

Latest0.1.1

Dependencies

library:st2 (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / primitive Primitive memory-related operations
- Version: >=0.6.4 && <0.8
- License: BSD-3-Clause
@hackage / gdp Reason about invariants and preconditions with ghosts of departed proofs.
- Version: >=0.0.0.1 && <0.1
- License: BSD-3-Clause