Mercurial > repo
view wisdom/lens @ 635:ae9c0b7513f4
<Sgeo> run gunzip tclkit-8.5.1-linux-x86_64.gz
author | HackBot |
---|---|
date | Mon, 30 Jul 2012 05:06:54 +0000 |
parents | e037173e0012 |
children | 9908e830aa86 |
line wrap: on
line source
A lens is a monoidal natural transformation between higher-order coalgebra functors