Post-ID: thread-20140528074305-qdb-310215
Created-At: 2014-05-28T07:43:05Z
Board-Tags: general
Imported-Score-Seed: -102
Imported-Vote-Count-Seed: 228

<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)