btw, there's a search field in the upper right corner of this chat

@JeromeIbanes unfortunately you need k3 to run xy.k. let me know if you want a copy. this paper describes a more straightforward application of the same idea, sans language: nsl.com/papers/continuations.htm

@StevanApter yes please: jibanes [at] gmail.com