diff wisdom/lens @ 1497:c091565553db

<elliott> revert 1492
author HackBot
date Sat, 12 Jan 2013 20:07:53 +0000
parents 48427dffea8d
children 1c1429d055bc
line wrap: on
line diff
--- a/wisdom/lens	Sat Jan 12 20:05:59 2013 +0000
+++ b/wisdom/lens	Sat Jan 12 20:07:53 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.