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

--- Day changed Tue Nov 03 2015
arjen-jonathan_Hi all03/11 14:26
arjen-jonathan_How do I use Inverse.from from Function.Inverse?03/11 14:26
arjen-jonathan_Hmm, figured it out03/11 14:49

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