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

--- Day changed Wed Jan 10 2018
SrPxIs Agda core (this, right: http://agda.readthedocs.io/en/v2.5.2/language/core-language.html) considered stable and final? Will it ever need to update/chagne?10/01 21:36

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