• Home
• All packages
• All package versions

small-steps-0.1.1.2

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

760a73e89ef040d3ad91b4b0386b3bbace9431a9

Subdir

libs/small-steps

Timestamp

2022-11-14T13:25:11Z

Revisions

None

Dependencies

library small-steps:

• ["base >=4.12 && <4.17","aeson","base >=4.11 && <5","containers","data-default-class","free","mtl","nothunks","cardano-strict-containers","text","transformers >=0.5","validation-selective"]