@cardano / marlowe

Exported version of the Marlowe Semantics using the isabelle proof assistant

Latest0.1.0.1

Dependencies

library:marlowe (6 dependencies)

@hackage / scientific Numbers represented using scientific notation
- Version: >=0.3.7 && <0.4
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.4
- License: BSD-2-Clause
@hackage / aeson-pretty JSON pretty-printing library and command-line tool.
- Version: >=0.8.9 && <0.9
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: >=2 && <3
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.16.4.0
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.12 && <0.12
- License: BSD-3-Clause

test:marlowe-spec-test-suite (9 dependencies)