Mercurial > repo

view wisdom/per martin-löf @ 9994:d8734db325b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<hppavilion[1]> le/rn Rogue One//Any regular who gives the slightest Rogue One spoiler shall be hunted down in real life and have their intestines removed through their eye sockets. Members would not be exempt if they existed, which they don\'t.
author HackBot
date Sat, 17 Dec 2016 23:40:13 +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.