4 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	4f6ab9bd77	Eliminate one set of dummy wrappers	2018-10-20 18:27:15 +01:00
Tony Garnock-Jones	2a00d59231	term-intersect	2018-08-13 21:32:51 +01:00
Tony Garnock-Jones	bf98354984	Support vector in patterns, like we already support list	2018-05-01 20:57:22 +01:00
Tony Garnock-Jones	8900eccb1e	Nested dataspaces	2018-04-29 14:54:14 +01:00