lockywolf has quit [Remote host closed the connection]
lockywolf has joined #racket
catonano has quit [Ping timeout: 268 seconds]
MetaHertz has joined #racket
badkins has joined #racket
kritixilithos has quit [Ping timeout: 240 seconds]
kritixilithos has joined #racket
Lowl3v3l has joined #racket
lavaflow has joined #racket
catonano has joined #racket
efm has quit [Ping timeout: 256 seconds]
efm has joined #racket
lockywolf_ has joined #racket
lockywolf_ has quit [Remote host closed the connection]
lockywolf_ has joined #racket
lockywolf_ has quit [Remote host closed the connection]
lockywolf has quit [Ping timeout: 260 seconds]
kritixilithos has quit [Ping timeout: 240 seconds]
efm has quit [Ping timeout: 260 seconds]
<bremner>
it's a long shot, but do any of you understand the typing of continuations in plait? it seems weird to have to use a type (Void -> 'a) in http://pasterack.org/pastes/27844
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 258 seconds]
MetaHertz has quit [Remote host closed the connection]
vraid has quit [Quit: Leaving]
badkins has joined #racket
p4bl0 has joined #racket
<samth>
bremner: the reason you need `Void` is that the context of where you're calling `(checkpoint!)` expects `Void`
kritixilithos has joined #racket
catonano has quit [Read error: Connection reset by peer]
catonano has joined #racket
rgherdt has joined #racket
<bremner>
One thing that is confusing me is that (-> 'a) and (Void -> 'a) are both valid types of functions.
catonano has quit [Quit: catonano]
catonano has joined #racket
catonano has quit [Client Quit]
catonano has joined #racket
efm has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 255 seconds]
catonano_ has joined #racket
catonano has quit [Ping timeout: 240 seconds]
catonano_ is now known as catonano
badkins has joined #racket
sauvin has quit [Read error: Connection reset by peer]
tilpner_ has joined #racket
tilpner has quit [Ping timeout: 258 seconds]
tilpner_ is now known as tilpner
ZombieChicken has quit [Quit: WeeChat 2.7.1]
ZombieChicken has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Remote host closed the connection]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Remote host closed the connection]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf has joined #racket
fanta1 has joined #racket
badkins has joined #racket
kritixilithos has quit [Quit: quit]
cpup has quit [Ping timeout: 265 seconds]
cpup has joined #racket
even4void has joined #racket
even4void has quit [Client Quit]
davidl has joined #racket
lockywolf_ has joined #racket
sagax has quit [Ping timeout: 240 seconds]
lockywolf has quit [Ping timeout: 260 seconds]
davidl has quit [Quit: WeeChat 2.1]
davidl has joined #racket
fanta1 has quit [Quit: fanta1]
sagax has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 255 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
aidalgol has quit [Ping timeout: 256 seconds]
rgherdt has quit [Remote host closed the connection]
vraid has joined #racket
efm has quit [Ping timeout: 256 seconds]
efm has joined #racket
efm has quit [Ping timeout: 256 seconds]
true-grue has quit [Read error: Connection reset by peer]
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #racket
badkins has joined #racket
FreeFull has joined #racket
badkins has quit [Remote host closed the connection]