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.
 
 
Go to file
Tony Garnock-Jones a7503d16e4
Clean up whitespace
8 years ago
minimart Clean up whitespace 8 years ago
.gitignore Ignore compiled/ directories; minimart/main.rkt; Makefile 10 years ago
Makefile Ignore compiled/ directories; minimart/main.rkt; Makefile 10 years ago
info.rkt Break dependency on web-server-lib 8 years ago