This repository implements Marlowe Semantics in Agda. It is currently an experimental work in progress.
Run nix develop to enter a Nix shell for the Agda environment. If the Agda environment has not been used previously, run agda-mode setup && agda-mode compile. Use emacs to edit .agda, .lagda and .lagda.md files.