# HG changeset patch
# User HackBot
# Date 1357553630 0
# Node ID 9908e830aa8612421b7d52cf217e13294ac5ac13
# Parent  b880a972aaf77c209b0cec425462e870bc8868e8
<greyooze> echo "A lens is just a store comonad coalgebra!" >wisdom/lens

diff -r b880a972aaf7 -r 9908e830aa86 wisdom/lens
--- 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!