averellaquino2020-6-11 09:00:26@averellaquino has joined the channel averellaquino2020-6-11 09:01:05Hello guys! Anyone here who goes/went through htdp/2e in Emacs?