4 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	496682f550	Correct printing of test procedures	2018-05-02 18:20:33 +01:00
Tony Garnock-Jones	e3d64677bd	Repair scheduling of inner dataspaces, thus allowing e.g. double nesting	2018-04-29 16:07:49 +01:00
Tony Garnock-Jones	8900eccb1e	Nested dataspaces	2018-04-29 14:54:14 +01:00
Tony Garnock-Jones	9b6fd1418a	Refactor tests	2018-04-29 11:55:32 +01:00

Renamed from imperative/test.rkt (Browse further)