# HG changeset patch # User HackBot # Date 1359071470 0 # Node ID fb15757eab5768a030bc4c5bbbe99692fdd6cdab # Parent e8b4d93c07617239ea0c78fdf3958e73215d5613 rm wisdom/monoids diff -r e8b4d93c0761 -r fb15757eab57 wisdom/monoids --- a/wisdom/monoids Thu Jan 24 23:51:00 2013 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -monoids are so easy :D