annotate bin/langs @ 10692:984ed31f89fb

<oerjan> le/rn cofridge logic//Cofridge logic is the new HoTT stuff.
author HackBot
date Sun, 16 Apr 2017 02:05:50 +0000
parents fb412a31386c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6223
fb412a31386c <tswett> echo \'words ${1---eng-1M --esolangs 20} | sed -re \'\\\'\'s/( |$)/lang\\1/g\'\\\' > bin/langs
HackBot
parents:
diff changeset
1 words ${1---eng-1M --esolangs 20} | sed -re 's/( |$)/lang\1/g'