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

--- Day changed Fri Feb 03 2017
larrytheliquidi added the following "topics" (new github tagging feature to discover projects) to the agda repo: agda, dependent-types, programming-language, proof-assistant03/02 21:44

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