@cardano marlowe0.1.0.1

Exported version of the Marlowe Semantics using the isabelle proof assistant

Categories
License
BSD-3-Clause
Maintainer
hernan.rajchert@iohk.io
Links
- Documentation
- No source repository
- Security
Versions
- 0.1.0.1 Mon, 29 Jan 2024
- 0.1.0.0 Mon, 3 Apr 2023

Installation
In your cabal file:
Dependencies (6)
- base >=4.16.4.0
- bytestring >=0.10.12 && <0.12
- text >=1.2.4
- aeson >=2 && <3
- aeson-pretty >=0.8.9 && <0.9
- scientific >=0.3.7 && <0.4
Dependents (1)
@cardano/marlowe-spec-test