6 Commits

Author	SHA1	Message	Date
Mike J Innes	353f156354	split interpret / interpv	2016-12-21 13:05:18 +00:00
Mike J Innes	b2d9514a9a	make astuple more general	2016-11-17 11:27:17 +00:00
Mike J Innes	3e42db0cdf	make interpmap composable	2016-11-17 11:26:58 +00:00
Mike J Innes	3c068744d2	get rid of Group	2016-11-15 21:09:58 +00:00
Mike J Innes	d86225ca47	working map interp	2016-11-15 20:46:01 +00:00
Mike J Innes	27554494b7	initial abstract interpretation	2016-11-15 20:01:56 +00:00