annotate wisdom/lens @ 1235:016a5cc53b1b

<ais523> addquote <shachaf> oerjan: Comonads? <oerjan> shachaf: no, feather
author HackBot
date Fri, 04 Jan 2013 00:00:04 +0000
parents e037173e0012
children 9908e830aa86
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e037173e0012 Initial import.
HackBot
parents:
diff changeset
1 A lens is a monoidal natural transformation between higher-order coalgebra functors