summaryrefslogtreecommitdiff
path: root/libraries/base/tests/isValidNatural.hs
Commit message (Expand)AuthorAgeFilesLines
* Remove all the unnecessary LANGUAGE pragmasHécate2020-08-051-1/+2
* Bignum: add backward compat integer-gmp functionsSylvain Henry2020-08-051-4/+12
* Define type Void# = (# #) (#18441)Krzysztof Gogolewski2020-07-221-2/+2
* BigNum: rename BigNat typesSylvain Henry2020-07-071-1/+1
* Update `base` packageSylvain Henry2020-06-171-4/+5
* Fix isValidNatural: The BigNat in NatJ# must have at least 2 limbsSimon Jakobi2019-06-071-0/+9