Mercurial > repo
view wisdom/per martin-löf @ 11296:1d2aa8ef25d7
<wob_jonas> perl -eopen$i,"<",($f="wisdom/aristotle");$_=<$i>; s/two thousand/2000/ or die; if (1) { open$o,">",$f; print$o $_ or die; } print substr$_,0;
author | HackBot |
---|---|
date | Mon, 01 Jan 2018 18:02:36 +0000 |
parents | e3afe2c4c1d4 |
children |
line wrap: on
line source
"per Martin-Löf" is a common citation lazy logicians use when they don't want to prove their theorems. It rarely gets past peer review.