Mercurial > repo
view wisdom/lens @ 708:521d3fec2a48
<Sgeo> run rm -rf p7zip_9.20.1
author | HackBot |
---|---|
date | Sat, 15 Sep 2012 23:49:59 +0000 |
parents | e037173e0012 |
children | 9908e830aa86 |
line wrap: on
line source
A lens is a monoidal natural transformation between higher-order coalgebra functors