I fully agree with Edward here. This change to Num has been a positive one.
It also seemed fairly uncontroversial as far as Prelude changes go - many
people wanted to see that change for years. While it caused a handful of
hiccups when it happened, it was generally easy enough to fix code to
On Sun, Sep 10, 2017 at 4:48 AM, Anthony Clayden <
anthony_clay...@clear.net.nz> wrote:
> > On Fri Sep 8 15:58:10 UTC 2017, Carter Schonwald wrote:
> >
> > I mostly wanted to confirm that we in fact will actually
> say yes
> > before doing the formal writtingup :)
>
> Seriously -- and please stop