view wisdom/comonad @ 7338:dc90590d7dcd

<rdococ> misle/rn @/|n@| = -n; |@+k| = -1 - k/@
author HackBot
date Fri, 01 Apr 2016 02:15:06 +0000
parents e037173e0012
children c777e2d91031 60dfd7c0ad78
line wrap: on
line source

Comonads are just monads in the dual category.