Mercurial > repo

view wisdom/per martin-löf @ 9285:8320c9c4620f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<oerjan> learn Umlaut is German for "hum aloud", an important feature of the German language. It is indicated by putting two dots over the vowel of the syllable.
author HackBot
date Sat, 15 Oct 2016 00:04:47 +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.