view wisdom/lens @ 0:e037173e0012

Initial import.
author HackBot
date Thu, 16 Feb 2012 19:42:32 +0000
parents
children 9908e830aa86
line wrap: on
line source

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