/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` :S
30/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
!