view wisdom/lens @ 1057:f14412b3c0cf

<elliott> revert
author HackBot
date Fri, 14 Dec 2012 02:15:19 +0000
parents e037173e0012
children 9908e830aa86
line wrap: on
line source

A lens is a monoidal natural transformation between higher-order coalgebra functors