changeset 1830:8662a124bdb3

<oerjan> mv wisdom/monads wisdom/monad
author HackBot
date Fri, 25 Jan 2013 21:30:06 +0000
parents e372190fa63d
children ecde752aa45b
files wisdom/monad wisdom/monads
diffstat 2 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/monad	Fri Jan 25 21:25:33 2013 +0000
+++ b/wisdom/monad	Fri Jan 25 21:30:06 2013 +0000
@@ -1,1 +1,1 @@
-monads
\ No newline at end of file
+Monads are just monoids in the category of endofunctors.
--- a/wisdom/monads	Fri Jan 25 21:25:33 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Monads are just monoids in the category of endofunctors.