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

--- Day changed Fri Dec 01 2017
pie_does agda have some kind of central library repo01/12 23:14

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