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

--- Day changed Thu Jun 08 2017
mietek"Not implemented: type checking of with application"08/06 19:59
--- Log closed Thu Jun 08 21:32:00 2017
--- Log opened Thu Jun 08 21:32:10 2017
-!- Irssi: #agda: Total of 121 nicks [0 ops, 0 halfops, 0 voices, 121 normal]08/06 21:32
-!- Irssi: Join to #agda was synced in 129 secs08/06 21:34

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