tonyg changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://gather.town/app/wH1EDG3McffLjrs0/racket-users -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer!
ec has quit [Ping timeout: 240 seconds]
ec has joined #racket
lucasta has joined #racket
lucasta has quit [Max SendQ exceeded]
greaser|q has joined #racket
shawnw has joined #racket
FreeFull has quit []
lucasta has joined #racket
lucasta has quit [Quit: Leaving]
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]
morte has quit [Ping timeout: 240 seconds]
morte has joined #racket
szkl has joined #racket
monkey_ has joined #racket
clicker has joined #racket