3 May
2018
3 May
'18
12:31 a.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?