Conversation

i think i only fully understood the various CEK/CE/* machines in the "essence of compiling with continuations" paper just now
2
11