small-steps-0.1.0.0
- Synopsis
-
Small step semantics
- Description
-
- Author
-
IOHK Formal Methods Team
- Maintainer
-
formal.methods@iohk.io
- License
-
Apache-2.0
- Source
-
-
https://github.com/input-output-hk/cardano-ledger
- Commit hash
- c7c63dabdb215ebdaed8b63274965966f2bf408f
- Subdir
- libs/small-steps
- Timestamp
-
2022-10-17T00:00:00Z
- Revisions
-
None
- Dependencies
-
- library small-steps:
-
- ["base >=4.12 && <4.15","aeson","base >=4.11 && <5","containers","data-default-class","free","mtl","nothunks","strict-containers","text","transformers >=0.5","validation-selective"]