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.
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) |