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.