orivej has quit [Ping timeout: 265 seconds]
endobson has joined #racket
evdubs has quit [Remote host closed the connection]
evdubs has joined #racket
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Sgeo has quit [Read error: Connection reset by peer]
badkins has quit [Ping timeout: 240 seconds]
Sgeo has joined #racket
dddddd has quit [Remote host closed the connection]
badkins has joined #racket
aeth_ has joined #racket
aeth has quit [Ping timeout: 272 seconds]
Trieste has quit [Ping timeout: 260 seconds]
aeth_ is now known as aeth
Trieste has joined #racket
badkins has quit [Remote host closed the connection]
iyzsong has joined #racket
vraid has quit [Read error: Connection reset by peer]
notzmv has quit [Ping timeout: 268 seconds]
notzmv has joined #racket
endobson has joined #racket
_whitelogger has joined #racket
endformationage has quit [Ping timeout: 272 seconds]
pierpal has joined #racket
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
aidalgol has joined #racket
endobson has joined #racket
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
narimiran has joined #racket
endobson has joined #racket
sauvin has joined #racket
nullman has quit [Ping timeout: 265 seconds]
pera has quit [Ping timeout: 265 seconds]
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ziyourenxiang has quit [Ping timeout: 268 seconds]
ziyourenxiang has joined #racket
BitPuffin has joined #racket
true-grue has joined #racket
Fernando-Basso has joined #racket
Irenes[m] has joined #racket
olavx200 has joined #racket
juanfra_ has joined #racket
sarna has joined #racket
<
sarna>
hi, are there any statically typed racket langs without the gradual part?
lockywolf has joined #racket
fanta1 has joined #racket
lockywolf_ has joined #racket
sarna has left #racket [#racket]
lockywolf_ has quit [Remote host closed the connection]
lockywolf_ has joined #racket
lockywolf_ has quit [Max SendQ exceeded]
lockywolf has quit [Ping timeout: 260 seconds]
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
aidalgol has quit [Remote host closed the connection]
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
lockywolf_ has quit [Remote host closed the connection]
pierpal has quit [Quit: Poof]
lockywolf_ has joined #racket
pierpal has joined #racket
lockywolf_ has quit [Remote host closed the connection]
ostera has joined #racket
nullman has joined #racket
dddddd has joined #racket
orivej has joined #racket
pierpal has quit [Read error: Connection reset by peer]
fanta1 has quit [Quit: fanta1]
pierpal has joined #racket
badkins_ has joined #racket
pierpal has quit [Ping timeout: 260 seconds]
true-grue has quit [Quit: Leaving]
kritixilithos has joined #racket
brettgilio has quit [Ping timeout: 240 seconds]
brettgilio has joined #racket
orivej has quit [Ping timeout: 272 seconds]
Fernando-Basso has quit [Quit: Leaving]
vraid has joined #racket
ephemera_ has quit [Quit: No Ping reply in 180 seconds.]
ephemera_ has joined #racket
dddddd has quit [Ping timeout: 260 seconds]
endobson has joined #racket
orivej has joined #racket
Naptra has joined #racket
efm has quit [Ping timeout: 268 seconds]
efm has joined #racket
kritixil1 has joined #racket
kritixilithos has quit [Ping timeout: 240 seconds]
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pera has joined #racket
vraid has quit [Quit: Leaving]
badkins_ has quit [Remote host closed the connection]
efm has quit [Remote host closed the connection]
<
samth>
sarna: see Hackett
<
samth>
but also you can just not use an untyped modules with Typed Racket.
efm has joined #racket
kritixil1 has quit [Ping timeout: 240 seconds]
dustyweb has joined #racket
kritixil1 has joined #racket
vraid has joined #racket
<
emacsomancer>
is there an easy way of getting racket docs in tex format?
<
emacsomancer>
(I mean I know there should be
*some* way, via scribble)
badkins has joined #racket
Fernando-Basso has joined #racket
sauvin has quit [Read error: Connection reset by peer]
sagax has quit [Ping timeout: 268 seconds]
FreeFull has joined #racket
dddddd has joined #racket
aidalgol has joined #racket
pierpal has joined #racket
badkins has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 265 seconds]
sagax has joined #racket
pierpal has joined #racket
badkins has joined #racket
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #racket
pierpal has quit [Ping timeout: 240 seconds]
kritixil1 has quit [Quit: quit]
narimiran has quit [Ping timeout: 240 seconds]
Naptra has quit [Quit: Leaving]
Trieste has quit [Ping timeout: 268 seconds]
Trieste has joined #racket
Fernando-Basso has quit [Quit: Leaving]
pierpal has joined #racket
pierpal has quit [Ping timeout: 260 seconds]