annotate wisdom/monoid @ 7759:b4341511eb47

<fizzie> ` echo -e \'#! /bin/bash\\ncmd="$1"\\nshift\\nf="$*"\\nif [ -z "$f" && "$f" == *\\\\ * ]; then f="${cmd#* }"; cmd="${cmd%% *}"; fi\\nif [ -z "$f" ]; then echo try: \\\\`f command filename; else "$cmd" "$(< "$f")"; fi\' > bin/f
author HackBot
date Wed, 04 May 2016 21:35:48 +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.