changeset 3624:ad9142e39244

<oerjan> rm wisdom/doodads
author HackBot
date Tue, 03 Sep 2013 22:37:43 +0000
parents 21f60b797cc6
children 8627c7f667d6
files wisdom/doodads
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/doodads	Tue Sep 03 22:36:19 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Doodads are just duoids in the category of endofunctors.