Mercurial > repo

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 8463: (0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip
age author description
Sun, 12 Jun 2016 11:27:29 +0000 HackBot <shachaf> sedlast s/The difference is that/However,/;s/ism doesn\'t/isms don\'t/;s/a f/f/
Sun, 12 Jun 2016 11:26:03 +0000 HackBot <shachaf> sedlast s/y/yt/
Sun, 12 Jun 2016 11:22:03 +0000 HackBot <shachaf> learn A frame is just a complete Heying algebra. The difference is that a frame homomorphism doesn\'t preserve implication, if you know what I mean.
Sun, 12 Jun 2016 11:17:08 +0000 HackBot <shachaf> sled wisdom/locale//s/a question //
Sun, 12 Jun 2016 11:14:54 +0000 HackBot <shachaf> le/rn stone space/Stone spaces were invented by P. T. Barnum as a hoax.
Sun, 12 Jun 2016 11:02:56 +0000 HackBot <shachaf> learn Locales are just frames, which are just complete Heyting algebras. Taneb accidentally invented them by asking a question about lattices. The only locale available in #esoteric is en_NZ.UTF-8.
Sun, 12 Jun 2016 10:59:22 +0000 HackBot <shachaf> le/rn sober space/Sober spaces are the dual of Stoned spaces. Taneb invented them.
less more | rev 8463: (0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip