Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove all the unnecessary LANGUAGE pragmas | Hécate | 2020-08-05 | 1 | -1/+2 |
* | Bignum: add backward compat integer-gmp functions | Sylvain Henry | 2020-08-05 | 1 | -4/+12 |
* | Define type Void# = (# #) (#18441) | Krzysztof Gogolewski | 2020-07-22 | 1 | -2/+2 |
* | BigNum: rename BigNat types | Sylvain Henry | 2020-07-07 | 1 | -1/+1 |
* | Update `base` package | Sylvain Henry | 2020-06-17 | 1 | -4/+5 |
* | Fix isValidNatural: The BigNat in NatJ# must have at least 2 limbs | Simon Jakobi | 2019-06-07 | 1 | -0/+9 |