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

--- Day changed Wed Jan 04 2017
doguiany way to set the timeout for C-c C-a globally?04/01 05:39
lpasteMike pasted “US Laser Development Trends: Shorter, Faster, Stronger” at http://lpaste.net/172817493730839756804/01 12:23
lpasteMike revised “US Laser Development Trends: Shorter, Faster, Stronger”: “US Laser Development Trends: Shorter, Faster, Stronger” at http://lpaste.net/172817493730839756804/01 12:25
akra faster laser?04/01 12:31
akrIntriguing!04/01 12:31
wleslieC wasn't fast enough, so they push light at the speed of assembler04/01 12:33
mietekDoes C-u C-u C-c C-n work for any of you?04/01 17:52
mietekIn 2.5.204/01 17:53
mietekhttps://github.com/agda/agda/issues/238204/01 17:53
mietekOops, my mistake.04/01 18:11

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