3 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	cbbd6ffd0c	Tighten	2018-12-07 11:06:08 +00:00
Tony Garnock-Jones	8f20ae7a48	Simplify by using builtin list and a custom induction principle	2018-12-06 23:54:14 +00:00
Tony Garnock-Jones	fdd7eb6e94	Explore quoting.	2018-12-06 21:25:51 +00:00