changeset 1286:9908e830aa86

<greyooze> echo "A lens is just a store comonad coalgebra!" >wisdom/lens
author HackBot
date Mon, 07 Jan 2013 10:13:50 +0000
parents b880a972aaf7
children 1065d28be5cc
files wisdom/lens
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/lens	Mon Jan 07 01:55:23 2013 +0000
+++ b/wisdom/lens	Mon Jan 07 10:13:50 2013 +0000
@@ -1,1 +1,1 @@
-A lens is a monoidal natural transformation between higher-order coalgebra functors
+A lens is just a store comonad coalgebra!