mflatt
2017-6-12 15:54:29
@mflatt has joined the channel
mflatt
2017-6-12 15:54:30
@mflatt set the channel purpose: Discussion before and during the 2017 Racket Summer School
robby
2017-6-12 16:19:23
@robby has joined the channel
zenspider
2017-6-12 20:02:36
@zenspider has joined the channel