diff wisdom/preorder @ 3284:1ab2a2d2d37c

<oerjan> echo \'A preorder is just a small thin category.\' >wisdom/\'preorder\'
author HackBot
date Sat, 06 Jul 2013 03:41:30 +0000
parents d0fa860458af
children c777e2d91031
line wrap: on
line diff
--- a/wisdom/preorder	Sat Jul 06 03:41:20 2013 +0000
+++ b/wisdom/preorder	Sat Jul 06 03:41:30 2013 +0000
@@ -1,1 +1,1 @@
-A preorder is just a thin category.
+A preorder is just a small thin category.