marlowe-0.1.0.1

Synopsis

Exported version of the Marlowe Semantics using the isabelle proof assistant

Description

Author

Hernan Rajchert

Maintainer

[email protected]

License

BSD-3-Clause

Source
https://github.com/input-output-hk/marlowe
Commit hash
feb91efdee08342ed07ee6bee004bd3aedd07e67
Subdir
isabelle
Timestamp

2024-01-29T16:45:19Z

Revisions

None

Dependencies
library marlowe:
  • ["base >=4.16.4.0","aeson >=2 && <3","aeson-pretty >=0.8.9 && <0.9","bytestring >=0.10.12 && <0.12","text >=1.2.4","scientific >=0.3.7 && <0.4"]
test-suite marlowe-spec-test-suite:
  • ["aeson","aeson-pretty","base >=4.16.4.0 && <5","bytestring","marlowe","filepath","tasty","tasty-hunit","tasty-golden"]