2 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	55f4b55784	Implement during and ad-hoc assertions	2018-04-19 17:55:52 +01:00
Tony Garnock-Jones	2e67feee6d	POC imperative dataspace implementation, with set-box example	2018-04-06 11:37:59 +01:00