Mercurial > repo
log
age | author | description |
---|---|---|
Thu, 22 Oct 2015 01:52:49 +0000 | HackBot | <tswett> le/rn monoid/A monoid is the easy version of a category. |
Thu, 22 Oct 2015 01:45:40 +0000 | HackBot | <tswett> le/rn category/A category is an enriched category where the enriching category is the category of classes. |
Tue, 20 Oct 2015 22:20:50 +0000 | HackBot | <oerjan> ` sed -i \'s/a//\' wisdom/algorithm |