annotate wisdom/comonad @ 7345:02013cf32f7f

<prooftechnique> ` ln -s bin/slashlearn bin/disce
author HackBot
date Fri, 01 Apr 2016 18:10:08 +0000
parents e037173e0012
children c777e2d91031 60dfd7c0ad78
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e037173e0012 Initial import.
HackBot
parents:
diff changeset
1 Comonads are just monads in the dual category.