morte has quit [Read error: Connection reset by peer]
morte has joined #racket
Origin has quit [Ping timeout: 252 seconds]
skapata has quit [Remote host closed the connection]
morte has quit [Ping timeout: 240 seconds]
ormaaj has quit [Ping timeout: 240 seconds]
ormaaj has joined #racket
morte has joined #racket
shawnw_ has joined #racket
shawnw has quit [Ping timeout: 240 seconds]
ASau has joined #racket
ormaaj has quit [Ping timeout: 252 seconds]
ormaaj has joined #racket
mwnaylor has quit [Ping timeout: 258 seconds]
morte has quit [Read error: Connection reset by peer]
morte has joined #racket
shawnw has joined #racket
shawnw_ has quit [Ping timeout: 260 seconds]
morte_ has joined #racket
winny has quit [Server closed connection]
thegeekinside has joined #racket
winny has joined #racket
gcd has joined #racket
lucasta has joined #racket
morte_ has quit [Read error: Connection reset by peer]
Tuplanolla has joined #racket
skapata has joined #racket
ec has quit [Ping timeout: 240 seconds]
morte_ has joined #racket
FreeFull has joined #racket
lucasta has quit [Quit: Leaving]
nxtr has quit [Server closed connection]
nxtr has joined #racket
thegeekinside has quit [Remote host closed the connection]
mwnaylor has joined #racket
thegeekinside has joined #racket
thegeekinside has quit [Remote host closed the connection]
listentolist has joined #racket
thegeekinside has joined #racket
<shawnw>
Is there any way to use dotted typed with structures in typed racket? For example, something like, (struct (a ...) foo ([x : (List a ... a)]))
<shawnw>
Argh, they don't seem to work with define-type either.
Origin has joined #racket
greaser|q has quit [Remote host closed the connection]
morte_ has quit [Remote host closed the connection]
sagax has joined #racket
ski has quit [Server closed connection]
Tuplanolla has quit [Quit: Leaving.]
Origin has quit [Read error: Connection reset by peer]