Tony Finchdot@dotat.athttps://dotat.at/https://dotat.at/:/MDEC5.html2020-12-14T07:29:11ZK: a rewrite-based executable semantic framework for programming languages.
2020‑12‑14
K: a rewrite-based executable semantic framework for programming languages.