Mercurial > repo
changeset 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 | a84be470d669 |
children | 32cd51bafc83 |
files | wisdom/locale |
diffstat | 1 files changed, 1 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wisdom/locale Sun Jun 12 11:02:56 2016 +0000 @@ -0,0 +1,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.