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

--- Day changed Sun Dec 03 2017
wedifycan i get suggestions for this error? http://lpaste.net/36048303/12 21:58
wedifyoh whoops i'm in the wrong channel. sorry03/12 22:06

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