set-algebra-0.1.1.2
- Synopsis
-
Set Algebra
- 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/set-algebra
- Timestamp
-
2022-11-14T13:25:11Z
- Revisions
-
2023-04-28T11:20:41Z
- Dependencies
-
- library set-algebra:
-
- ["base >=4.12 && <4.17","ansi-wl-pprint","base >=4.11 && <5","cardano-data <1.1","containers"]
- test-suite tests:
-
- ["base","containers","set-algebra","tasty","tasty-hunit","tasty-quickcheck","cardano-data"]