badkins has quit [Ping timeout: 252 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 252 seconds]
Origin has quit [Quit: Leaving]
lucasta has quit [Remote host closed the connection]
sudden has quit [Ping timeout: 248 seconds]
sudden has joined #racket
rekahsoft has quit [Ping timeout: 276 seconds]
morte has quit [Ping timeout: 276 seconds]
morte has joined #racket
morte has quit [Ping timeout: 276 seconds]
skapata has quit [Read error: Connection reset by peer]
shawnw has joined #racket
ASau has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 252 seconds]
bremner has quit [Remote host closed the connection]
bremner has joined #racket
bremner has quit [Client Quit]
bremner has joined #racket
bremner has quit [Client Quit]
bremner has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 248 seconds]
Origin has joined #racket
shawnw has quit [Ping timeout: 276 seconds]
retropikzel has left #racket [#racket]
skapata has joined #racket
Kratacoa has joined #racket
<
Kratacoa>
Hello, is anyone aware of why serverracket.com is down?
morte_ has joined #racket
<
cow_2001>
okay, reading LACI and a lot of it goes way above my brain.
lucasta has joined #racket
badkins has joined #racket
badkins has quit [Remote host closed the connection]
dhil has joined #racket
dhil has quit [Remote host closed the connection]
morte has joined #racket
morte has quit [Ping timeout: 240 seconds]
jeosol has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 276 seconds]
ur5us has joined #racket
morte_ has quit [Ping timeout: 276 seconds]
<
Kratacoa>
cow_2001: LACI?
<
Kratacoa>
cow_2001: thank you
<
cow_2001>
good thing the author is not here, or i'd have wasted his time with dumm questions
lucasta has quit [Quit: Leaving]
morte has joined #racket
<
cow_2001>
sequent calculus!
morte has quit [Ping timeout: 252 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 250 seconds]
morte has joined #racket
ASau has quit [Read error: Connection reset by peer]
ormaaaj has quit [Quit: bye]
ormaaaj has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 248 seconds]
Kratacoa has quit [Quit: WeeChat 3.8]