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

--- Day changed Tue Apr 04 2017
jonsterlinggallais: Thanks!! I see the advice to use C-M-k in that thread, and that's exactly what I needed! :)04/04 00:37
vorganggallais: Huzzah, it works! Had to put parentheses around the expression too: {!(ack 3 2)!} and then C-c C-l, C-u C-c C-n04/04 03:53
vorgangmeh, actually also works without the parentheses04/04 03:58

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