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

--- Day changed Wed Apr 05 2017
auguris there any way to normalize a goal? agda seems to have been made less willing to normalize things recently :(05/04 12:01
gallaisaugur: prefix with "C-u C-u"05/04 12:06
augurgallais: \o/05/04 13:54
augurthank you! :D05/04 13:54

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