@cardano / small-steps-test

Small step semantics testing library

Latest1.0.1.0

Dependencies

library:small-steps-test (13 dependencies)

@hackage / microlens A tiny lens library with no dependencies
- Version:
- License: BSD-3-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version:
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.14 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@cardano / cardano-ledger-binary Binary serialization library used throughout ledger
- Version: ^>=1.3
- License: Apache-2.0
@cardano / hedgehog Release with confidence.
- Version: >=1.0.4
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.5
- License: BSD-3-Clause
@hackage / microlens-th Automatic generation of record lenses for microlens
- Version:
- License: BSD-3-Clause
@cardano / small-steps Small step semantics
- Version: ^>=1.0
- License: Apache-2.0
@cardano / cardano-strict-containers Various strict container types
- Version:
- License: Apache-2.0
@hackage / tasty-hunit HUnit support for the Tasty test framework.
- Version:
- License: MIT
@hackage / nothunks Examine values for unexpected thunks
- Version:
- License: Apache-2.0

test:examples (15 dependencies)