/home/laney/.irssi/irclogs/Freenode/#agda.log-20171219

--- Day changed Mon Dec 18 2017
srpxThere is another channel to talk about generic dependently typed questions, right?18/12 21:11
srpxI can't remember what it is18/12 21:11
mieteksrpx: oddly enough, ##dependent18/12 21:17
srpxAh, I joined #dependent. Thanks18/12 21:17
mietekdid you?18/12 21:18
mietekthat shouldn’t be possible; you joined ##namespace, right?18/12 21:18
srpxyep18/12 21:18
mietekthere used to be a redirect, but I guess it expired18/12 21:18

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!