These are chat archives for
Sign in to start talking
Experimental project to lay out basic algebra type classes
Sep 29 2016 07:17
, how should we move forward on the Euclidean rings? Should I split my wall of text
in smaller pieces?
(sorry to raise these concerns now, as
is preparing a rebase of spire on algebra; I should have checked that earlier)
Sep 29 2016 14:27
Yeah - sorry for procrastinating and thanks for being patient. I need to digest everything a bit more so that things are clearer in my head. I'll have some time tonight to go over it again though!