view wisdom/free @ 7757:99c5e6af1e66

<fizzie> ` echo -e \'#! bin/bash\\ncmd="$1"\\nshift\\nf="$*"\\nif [ -z "$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:33:42 +0000
parents ca4257b9b1e7
children
line wrap: on
line source

A free structure is one that has no nontrivial identities, except algebraist phrase that in a much fancier way with morphisms.