3 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	2652147141	Commented-out debug-printing in relay.rkt	2018-04-29 16:08:35 +01:00
Tony Garnock-Jones	b3d6b74dab	Repair scheduling of inner dataspaces, thus allowing e.g. double nesting	2018-04-29 16:07:49 +01:00
Tony Garnock-Jones	dd2cddb6a7	Nested dataspaces	2018-04-29 14:54:14 +01:00