idris-ct icon indicating copy to clipboard operation
idris-ct copied to clipboard

Published 20 hours ago • verified publisher icon statebox

Day convolution

Open marcosh opened this issue 4 years ago • 0 comments

provide the setting for a formal proof of https://mathoverflow.net/questions/346529/the-convolution-of-comonads-is-a-comonad

marcosh avatar Nov 21 '19 17:11 marcosh