@cardano small-steps-test0.1.1.1

Small step semantics testing library

Categories
License
Apache-2.0
Maintainer
formal.methods@iohk.io
Links
Versions
- 1.0.1.0 Thu, 27 Jun 2024
- 1.0.0.1 Thu, 27 Jun 2024
- 1.0.0.0 Thu, 27 Jun 2024
- 0.1.1.2 Thu, 27 Jun 2024
- 0.1.1.1 Thu, 27 Jun 2024
- 0.1.0.0 Thu, 27 Jun 2024

Installation
In your cabal file:
Dependencies (11)
- base >=4.12 && <4.15
- deepseq
- mtl
- transformers >=0.5
- QuickCheck
- microlens
Dependents (9)
@cardano/byron-spec-ledger, @cardano/ouroboros-consensus-cardano, @cardano/cardano-ledger-alonzo-test, @cardano/cardano-ledger-shelley-test, @cardano/cardano-ledger-shelley, @cardano/cardano-ledger-shelley-ma-test, Show all…