• Home
• All packages
• All package versions

small-steps-1.0.1.0

Synopsis

Small step semantics

Description

Author

IOHK

Maintainer

operations@iohk.io

License

Apache-2.0

Source

https://github.com/IntersectMBO/cardano-ledger

Commit hash

6e2d37cc0f47bd02e89b4ce9f78b59c35c958e96

Subdir

libs/small-steps

Timestamp

2024-01-26T10:34:07Z

Revisions

None

Dependencies

library small-steps:

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