annotate wisdom/monoid @ 11323:801740033a55

<int-e> ` mv wisdom/font{,s}
author HackBot
date Mon, 15 Jan 2018 22:32:46 +0000
parents de375e980253
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6119
de375e980253 <tswett> le/rn monoid/A monoid is the easy version of a category.
HackBot
parents: 6028
diff changeset
1 A monoid is the easy version of a category.