# HG changeset patch
# User HackBot
# Date 1373082042 0
# Node ID d0fa860458af0ce7b030297a7894ba29b6828e43
# Parent  ebb10a2f0393efd1acaeed65cdc7f6d4dbb03566
<oerjan> echo \'A preorder is just a thin category.\' >wisdom/\'preorder\'

diff -r ebb10a2f0393 -r d0fa860458af wisdom/preorder
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/preorder	Sat Jul 06 03:40:42 2013 +0000
@@ -0,0 +1,1 @@
+A preorder is just a thin category.