marlowe-0.1.0.0

Synopsis

Exported version of the Marlowe Semantics using the isabelle proof assistant

Description

Author

Hernan Rajchert

Maintainer

hernan.rajchert@iohk.io

License

BSD-3-Clause

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

2023-04-03T13:30:28Z

Revisions

None

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