Brian W Bush bwbush

Executing a simplified version of Marlowe on Midnight's devnet

The Kyd language is a simplified version of the Marlowe language.

The following Lean 4 types define Kyd. For brevity, we omit the specification of the semantics, but they closely mimic Marlowe's semantics.

	#!/usr/bin/env nix-shell
	#!nix-shell -i Rscript -p "rWrapper.override{packages = [ rPackages.RPostgreSQL rPackages.data_table rPackages.lubridate rPackages.jsonlite rPackages.ggplot2 rPackages.scales];}"

	require(RPostgreSQL)
	require(data.table)
	require(lubridate)
	require(jsonlite)
	require(ggplot2)
	require(scales)