These are chat archives for non/algebra

22nd
Sep 2016
Denis Rosset
@denisrosset
Sep 22 2016 06:15
Hi @non, I updated the Github PR with a discussion of instances, and a better reference as for why quot(x,y) = div(x,y).
My time zone right now is Taipei/Taiwan, so the discussion will not exactly be realtime (I see most of your replies at around 2am)... as you wish!
Denis Rosset
@denisrosset
Sep 22 2016 17:26
Hi @non, I'm going to sleep in a few minutes, if you need any clarifications don't hesitate now!
Erik Osheim
@non
Sep 22 2016 23:57
oh hey sorry!
i've been busy with work -- i'll try to write up something tonight and get back to you.