SeLFiE: Change the domain for Number.

data61 / PSL

Other

65 stars 9 forks source link

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

Probably, it suffices to have a fixed natural number, such as 10.

yutakang commented 4 years ago

Fixed domain up to 10.

Done in 26e35f55eb480131cdf4b746d784dcd2e18bf867