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

--- Day changed Sun Feb 11 2018
augurhey peeps!11/02 03:26
auguraquamacs is telling me that various agdamode commands arent defined :(11/02 03:26
augurit doesnt seem to be loading my emacs config file??11/02 03:26
augurbeep boop anyone know why aquamacs wont load my emacs config and get agdamode running? :D11/02 22:51

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