# HG changeset patch
# User HackBot
# Date 1365907830 0
# Node ID 19310c81cb5e21d62c1deac1efb9da668bc56772
# Parent  4520e953fa79e0b65277316dc7652925ea024f06
<oerjan> addquote <elliott> that is better than any made up story i was about to tell

diff -r 4520e953fa79 -r 19310c81cb5e quotes
--- a/quotes	Sun Apr 14 02:39:14 2013 +0000
+++ b/quotes	Sun Apr 14 02:50:30 2013 +0000
@@ -1025,3 +1025,4 @@
 <FreeFull> So a monoid is something like a mon, so for example pikachu is a monoid
 <kmc> 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 (it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages)
 <olsner> I've seen horses jump on tv, they can probably jump in scotland too
+<elliott> that is better than any made up story i was about to tell