view wisdom/lens @ 181:51d1cb5726b3

<elliott> (unknown command)
author HackBot
date Sat, 07 Apr 2012 02:34:25 +0000
parents e037173e0012
children 9908e830aa86
line wrap: on
line source

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