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

--- Day changed Fri Jan 26 2018
mietekI wish “rewrite rule has already been added” was not an error26/01 14:35
arjen-jonathanAny category theorists online?26/01 17:00

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