Mercurial > repo
annotate wisdom/locale @ 8458:2a99570a2bcc
<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.
author | HackBot |
---|---|
date | Sun, 12 Jun 2016 11:02:56 +0000 |
parents | |
children | d81a5c664f70 |
rev | line source |
---|---|
8458
2a99570a2bcc
<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.
HackBot
parents:
diff
changeset
|
1 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. |