
2 May
2018
2 May
'18
12:31 p.m.
On Wed, May 02, 2018 at 03:07:05PM +0200, Paolino wrote:
I'm trying to write a lens for a datatype which seems easy in the Twan van Laarhoven encoding but I cannot find it as easy in the profunctorial one
By the way ... which library are you using for profunctor lenses?