true-grue has quit [Read error: Connection reset by peer]
Trieste has quit [Ping timeout: 258 seconds]
lavaflow has quit [Ping timeout: 265 seconds]
libertyprime has quit [Ping timeout: 268 seconds]
Trieste has joined #racket
libertyprime has joined #racket
analogue has quit [Quit: Leaving]
libertyprime has quit [Ping timeout: 258 seconds]
iyzsong has quit [Remote host closed the connection]
iyzsong has joined #racket
Lowl3v3l has quit [Ping timeout: 265 seconds]
Lowl3v3l has joined #racket
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
libertyprime has joined #racket
ayerhart has quit [Quit: ayerhart]
cartwright has quit [Ping timeout: 240 seconds]
ayerhart has joined #racket
mario-goulart has quit [Ping timeout: 265 seconds]
lavaflow has joined #racket
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
cartwright has joined #racket
ayerhart has quit [Quit: ayerhart]
vraid has quit [Ping timeout: 268 seconds]
ayerhart has joined #racket
libertyprime has quit [Ping timeout: 268 seconds]
klltkr has joined #racket
Codaraxis has quit [Read error: Connection reset by peer]
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Blkt has joined #racket
cartwright has quit [Remote host closed the connection]
cartwright has joined #racket
cartwright has quit [Read error: Connection reset by peer]
cartwright has joined #racket
FreeFull has quit []
Codaraxis has joined #racket
libertyprime has joined #racket
endformationage has quit [Quit: WeeChat 2.6]
aidalgol has joined #racket
libertyprime has quit [Ping timeout: 260 seconds]
libertyprime has joined #racket
libertyprime has quit [Read error: Connection reset by peer]
libertyprime has joined #racket
soegaard has joined #racket
libertyprime has quit [Ping timeout: 258 seconds]
libertyprime has joined #racket
lockywolf has joined #racket
lockywolf_ has joined #racket
soegaard_ has joined #racket
lockywolf has quit [Ping timeout: 268 seconds]
soegaard has quit [Ping timeout: 268 seconds]
soegaard_ is now known as soegaard
libertyprime has quit [Ping timeout: 268 seconds]
YuGiOhJCJ has joined #racket
libertyprime has joined #racket
mario-goulart has joined #racket
rgherdt has quit [Remote host closed the connection]
Lowl3v3l has quit [Ping timeout: 265 seconds]
sauvin has joined #racket
Lowl3v3l has joined #racket
dddddd has joined #racket
endobson has joined #racket
mzan has joined #racket
rgherdt has joined #racket
badkins has joined #racket
orivej has quit [Ping timeout: 258 seconds]
badkins has quit [Ping timeout: 268 seconds]
dddddd has quit [Ping timeout: 268 seconds]
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dddddd has joined #racket
Naptra has joined #racket
boeg has left #racket [#racket]
boeg has joined #racket
libertyprime has quit [Remote host closed the connection]
orivej has joined #racket
ZombieChicken has joined #racket
klltkr has joined #racket
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
klltkr has joined #racket
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
curiouscreature has joined #racket
<curiouscreature>
Hey all :) In plai-typed, there is typechecking to ensure that expressions are well-formed. When entering an expression into the REPL, it tells the type and the value. However, is there a way to directely find out the type of an expression, without having to rely on the REPL?
<bremner>
curiouscreature: iirc, plai-typed has a predicate has-type?
<bremner>
curiouscreature: btw, if you have a choice, IMHO plait is nicer than plai-typed
<curiouscreature>
bremner: has-type is not exactly what I need (since I don't know the type beforehand) but this is likely the pointer I need to access plai-typed typechecking, thank you!
<curiouscreature>
Will also check out plait, thanks :)
lockywolf_ has quit [Ping timeout: 258 seconds]
nikoala has quit [Remote host closed the connection]
nikoala has joined #racket
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dustyweb has joined #racket
<dustyweb>
howdy
<notnotdan>
hi
Sgeo__ has joined #racket
Sgeo_ has quit [Ping timeout: 260 seconds]
<notnotdan>
congrats on the release of your game dustyweb
<dustyweb>
hi thanks notnotdan :)
<dustyweb>
I'm now playing with adding a time traveling debugger to it to show off some of the cool things that Goblins can do
<notnotdan>
ooh interesting
notzmv has joined #racket
orivej has quit [Ping timeout: 265 seconds]
manualcrank has quit [Quit: WeeChat 1.9.1]
vraid has joined #racket
curiouscreature has quit [Ping timeout: 260 seconds]