Mercurial > repo
view wisdom/lens @ 956:82a876c32fa3
<coppro> delquote 325
author | HackBot |
---|---|
date | Sat, 08 Dec 2012 06:39:55 +0000 |
parents | e037173e0012 |
children | 9908e830aa86 |
line wrap: on
line source
A lens is a monoidal natural transformation between higher-order coalgebra functors