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

--- Day changed Wed May 17 2017
lpasteaaa pasted “adddd” at http://lpaste.net/200146039922805964817/05 09:52
lpasteaaa pasted “aaa” at http://lpaste.net/191782048957359718417/05 14:46
akr[m]> in a total functional language, the compiler may switch between strict and lazy evaluation at will17/05 15:10
lambdabot <hint>:1:1: error: parse error on input ‘in’17/05 15:10
akr[m]I've never realized that before17/05 15:10
akr[m]err wrong window, sorry17/05 15:11
safinaskarhttp://news.gmane.org/gmane.comp.lang.agda - page not found17/05 16:35

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