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

--- Log closed Sun Aug 27 16:47:50 2017

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