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!
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> oh here is something! https://youtu.be/hoE-XBklNVU
<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]