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

--- Day changed Fri Feb 16 2018
apostolishttps://github.com/agda/agda/issues/2906#issuecomment-35807509916/02 00:20
--- Log closed Fri Feb 16 16:34:30 2018
--- Log opened Fri Feb 16 16:38:45 2018
-!- Irssi: #agda: Total of 122 nicks [0 ops, 0 halfops, 0 voices, 122 normal]16/02 16:38
-!- Irssi: Join to #agda was synced in 130 secs16/02 16:40

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