/home/laney/.irssi/irclogs/Freenode/#epigram.log-20130105

--- Day changed Fri Jan 04 2013
bitonicI was reading “The View from the Left” on the plane - did the Epigram 1 actually use a calculus with eliminators only?04/01 23:37
bitonicI’m not sure I’m convinced that the price to pay in terms of how complicated the elaboration is is worth it...04/01 23:38

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