Historical interest only: A Dataspace-like language and system based on "Network Calculus" (ESOP 2014). https://syndicate-lang.org/papers#gjthf-esop14
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
Tony Garnock-Jones a7503d16e4 Clean up whitespace 6 years ago
minimart Clean up whitespace 6 years ago
.gitignore Ignore compiled/ directories; minimart/main.rkt; Makefile 8 years ago
Makefile Ignore compiled/ directories; minimart/main.rkt; Makefile 8 years ago
info.rkt Break dependency on web-server-lib 6 years ago