4 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	6a0439cbd0	POC imperative dataspace implementation, with set-box example	2018-04-06 11:37:59 +01:00
Tony Garnock-Jones	55dbc2f29a	Switch to skeleton-stx with struct-type rather than predicate	2018-03-27 22:21:49 +13:00
Tony Garnock-Jones	7767563ff6	Rearrange	2018-03-27 22:21:49 +13:00
Tony Garnock-Jones	4a470bd2e0	Start translation of pattern syntax to various structures	2018-03-27 22:21:49 +13:00