annotate wisdom/functor @ 9468:02576f427b4b

<oerjan> sled bin/slashlearn//7s![&].*!&& echo -n "$verb \'$key\': $(echo "$value" | sed \'s.^[/ ].\x030,04&\x0f.\')"!
author HackBot
date Thu, 27 Oct 2016 01:06:47 +0000
parents 1e323fe0c60e
children 69b3e38974d3
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8230
1e323fe0c60e <oerjan> ` sed -i \'s/$/./\' wisdom/functor
HackBot
parents: 0
diff changeset
1 Functors are just morphisms in the category of small categories.