annotate wisdom/arrow @ 8553:c41cf9a797c9

<shachaf> ` hg cat -r 8343 wisdom/shachaf > wisdom/shachaf
author HackBot
date Tue, 21 Jun 2016 19:53:40 +0000
parents 7f957c1f4661
children 20eaa08ae0fb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4531
7f957c1f4661 <oerjan> revert
HackBot
parents:
diff changeset
1 Arrows are just strong monads in the category of profunctors.