view wisdom/comonad @ 369:b30df78e892e

<elliott> pastelogs proofgeneral
author HackBot
date Mon, 30 Apr 2012 23:15:13 +0000
parents e037173e0012
children c777e2d91031 60dfd7c0ad78
line wrap: on
line source

Comonads are just monads in the dual category.