# HG changeset patch # User HackBot # Date 1365866295 0 # Node ID 9bd6ee91d351331bf1e429d49a8278c90d88c22f # Parent c3c86a75f7d43ea6eee0b524e4e5433760abcaa5 delquote 1026 diff -r c3c86a75f7d4 -r 9bd6ee91d351 quotes --- a/quotes Sat Apr 13 15:07:55 2013 +0000 +++ b/quotes Sat Apr 13 15:18:15 2013 +0000 @@ -1023,4 +1023,3 @@ "May you live in INVISIBLE TIMES." --Old Chinese proverb. (It can look confusing when written with the proper Unicode.) oerjan is spreading the tired rumour that if you play Nietzsche backwards you hear Jewish messages. So a monoid is something like a mon, so for example pikachu is a monoid - i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (because it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages)