changeset 8229:d2ce3421ba0f

<shachaf> ` mv wisdom/applicative{,\\ functor}; sed -i \'s/s/ functors/\' wisdom/applicative\\ functor
author HackBot
date Tue, 31 May 2016 03:45:32 +0000
parents 0a2d68053a0a
children 1e323fe0c60e
files wisdom/applicative wisdom/applicative functor
diffstat 2 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/applicative	Tue May 31 03:43:17 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Applicatives are just monoids in the category of endofunctors.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/applicative functor	Tue May 31 03:45:32 2016 +0000
@@ -0,0 +1,1 @@
+Applicative functors are just monoids in the category of endofunctors.