Tony Garnock-Jones 80fb72f782 Tighten		2018-09-24 15:33:19 +01:00
Makefile	Print makefile	2018-09-23 22:56:41 +01:00
codec.md	move codec.md together with preserve.md	2018-09-23 14:39:46 +01:00
preserve.md	Tighten	2018-09-24 15:33:19 +01:00
preserve.rkt	Rename codec --> preserve	2018-08-27 10:24:11 +01:00