Package1.1.4.0Control
small-steps
Small step semantics
- Version1.1.4.0
- CategoryControl
- LicenceApache-2.0
- AuthorIOHK
- Maintaineroperations@iohk.io
- Homepagegithub.com/intersectmbo/cardano-ledger
- Pinned byhackage small-steps 1.1.4.0
- Sourcehackage.haskell.org/package/small-steps-1.1.4.0
Modules
4 modulesDepends on
12 packages- aeson-2.2.5.1in this set
- base-4.22.0.0with GHC
- cardano-data-1.3.1.0in this set
- cardano-strict-containers-0.1.6.0in this set
- containers-0.8with GHC
- data-default-0.8.0.2in this set
- free-5.2in this set
- mtl-2.3.1with GHC
- nothunks-0.3.1in this set
- text-2.1.3with GHC
- transformers-0.6.1.2with GHC
- validation-selective-0.2.0.0.0.0.0.0.1in this set
Used by in this set · 13
- byron-spec-chain-1.0.1.1
- byron-spec-ledger-1.1.0.1
- cardano-api-11.7.0.0
- cardano-ledger-allegra-1.10.1.0
- cardano-ledger-alonzo-1.16.0.0
- cardano-ledger-babbage-1.14.0.0
- cardano-ledger-conway-1.23.0.0
- cardano-ledger-core-1.21.0.0
- cardano-ledger-dijkstra-0.3.0.0
- cardano-ledger-shelley-1.19.0.1
- cardano-ledger-shelley-test-1.9.0.0
- cardano-protocol-tpraos-1.6.0.0
- ouroboros-consensus-4.2.1.0