annotate wisdom/monoids @ 11307:1b943a7f4dc3

<int-e> ` cp bin/slwd bin/slbd; sed -i \'s=wisdom=bin=;s=wb=bb=\' bin/slbd; cat bin/slbd
author HackBot
date Fri, 05 Jan 2018 01:01:36 +0000
parents 657549e12160
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6121
657549e12160 <tswett> le/rn monoids/Monoids are just categories with single objects.
HackBot
parents: 6120
diff changeset
1 Monoids are just categories with single objects.