j
k
j a
j l
On 17/02/2016, David Menendez wrote:
One law I didn’t notice you mention is: mapMaybe f . mapMaybe g = mapMaybe (f <=< g)
One law I didn’t notice you mention is:
mapMaybe f . mapMaybe g = mapMaybe (f <=< g)
Good call, added! If someone proves some law to be reducible to the others i'll delete it.
Back to the thread
Back to the list