jeapostrophe
2018-7-21 17:42:08
@jeapostrophe set the channel topic: 2018 edition came and went: https://summer-school.racket-lang.org/2018/
minond.marcos
2018-7-21 19:31:07
@minond.marcos has joined the channel
ctchen_
2018-7-21 22:47:25
@ctchen_ has joined the channel