Doug Coleman 5507c2b676 factor: [let to let[, [| to |[		2017-08-31 21:21:13 -05:00
..
authors.txt	…
koszul-tests.factor	…
koszul.factor	factor: [let to let[, [| to |[	2017-08-31 21:21:13 -05:00
summary.txt	…