Mercurial > repo
graph
-
<kmc> addquote <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)Sat, 13 Apr 2013 15:18:33 +0000, by HackBot
-
<kmc> delquote 1026Sat, 13 Apr 2013 15:18:15 +0000, by HackBot
-
<elliott> addquote <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 (because it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages)Sat, 13 Apr 2013 15:07:55 +0000, by HackBot