Historical interest only: A Dataspace-like language and system based on "Network Calculus" (ESOP 2014). https://syndicate-lang.org/papers#gjthf-esop14
Go to file
Tony Garnock-Jones 457d53fc54 First commit switching from sets to tsets for labels in RHSs of matchers. 2015-06-19 20:53:08 -04:00
minimart First commit switching from sets to tsets for labels in RHSs of matchers. 2015-06-19 20:53:08 -04:00
.gitignore Ignore compiled/ directories; minimart/main.rkt; Makefile 2013-10-28 10:33:04 +00:00
Makefile Ignore compiled/ directories; minimart/main.rkt; Makefile 2013-10-28 10:33:04 +00:00
info.rkt Break dependency on web-server-lib 2015-05-23 11:39:55 -04:00