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

--- Day changed Thu May 25 2017
subttleHi, any reason in particular that _*_ isn't implemented for Data.Fin?25/05 02:24
--- Log closed Thu May 25 15:26:18 2017
--- Log opened Thu May 25 15:49:53 2017
-!- Irssi: #agda: Total of 123 nicks [0 ops, 0 halfops, 0 voices, 123 normal]25/05 15:49
-!- Irssi: Join to #agda was synced in 118 secs25/05 15:51

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