8000 Tags · wadler/marlowe · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: wadler/marlowe

Tags

v1.3

Toggle v1.3's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
palas Pablo Lamela
GPG key ID: 8A6235271F871F30
Expired
Verified
Learn about vigilant mode 
Marlowe prototype (v1.3)

Some of the main improvements of this release:
- Refactored and refined semantics
- Added embedded editor and syntax highlighting to Meadow
- Summarised and updated paper

v1.2

Toggle v1.2's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
palas Pablo Lamela
GPG key ID: 99E4AC4064FB527A
Expired
Verified
Learn about vigilant mode 
Marlowe protype (v1.2)

Some of the main improvements of this release:
- Simplifications to the design of Marlowe
- Added timeouts to many constructs
- Added continuation to CommitCash
- Created web demo editor (Meadow)
0