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

--- Day changed Tue Jan 30 2018
trikl[m]I'm struggling to proof that  `{x y : ℤ} → x ≢ y → x - y ≢ + 0`  :S30/01 22:32
trikl[m]prove*30/01 22:32
trikl[m]Nvm :)30/01 23:00

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