mbutterick
/
brag
1
0
Fork 0
Code Issues 3 Pull Requests 1 Projects Releases Wiki Activity

Labels Milestones

New Pull Request

Use nonnegative-integer? in favor of natural-number? #23

Merged
jessealama merged 2 commits from nonnegative-integer into master 6 years ago
Conversation 1 Commits 2 Files Changed 1

2 Commits (master)

Author SHA1 Message Date
Matthew Butterick 306fb049ee
exactness 6 years ago
Jesse Alama f43a75e8cf Use nonnegative-integer? in favor of natural-number? 
The natural-number? predicate seems to be
unavailable (though there is a remnant of it in the form of
natural-number/c, which is just a contract alias of
exact-nonnegative-integer?). In any case, it surely means
nonnegative integer.

(One might push the envelope here slightly and add
exactness, but this commit does not go that far.)
 6 years ago