FYI ghc-bignum has been merged yesterday.
Cheers,
Sylvain
On 15/06/2020 11:28, Rinat Stryungis wrote:
In light of the mentioned patch, I prefer to freeze my activity about
the unification of Nat and Natural up to the merging this patch. After
that, I am going to rebase my branch and make MR. T
In light of the mentioned patch, I prefer to freeze my activity about the
unification of Nat and Natural up to the merging this patch. After that, I
am going to rebase my branch and make MR. Thank you, Ben!
пн, 15 июн. 2020 г. в 00:32, Ben Gamari :
> Rinat Stryungis writes:
>
> > Hi. I have a qu
Rinat Stryungis writes:
> Hi. I have a question about a possible way of unification of Nat and
> Natural. I've almost done that, but only in case of using integer-gmp.
> If I use integer-simple there is a completely different definition of
> Natural.
>
> How I construct now naturalTyCon (to make
