2 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	4f52ebf108	Simplify make.rkt slightly	2017-09-29 13:13:57 +01:00
Tony Garnock-Jones	fa257a1d16	Avoid accidental n^2 in filesystem driver; make.rkt example	2017-09-28 19:28:38 +01:00