changeset 6029:daf6d6e0567d

<oerjan> rm wisdom/monoids
author HackBot
date Thu, 24 Sep 2015 23:18:50 +0000
parents 29a9ce93fa52
children 95931fe52dbb
files wisdom/monoids
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/monoids	Thu Sep 24 23:18:38 2015 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Monoids are the easy version of categories.