brag/brag at 2e8f5e42be5a197f4cc6f360cb5f8effd7857d84 - brag

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

History

Jesse Alama 2e8f5e42be 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.)	5 years ago
..
brag.scrbl	Use nonnegative-integer? in favor of natural-number?	5 years ago
info.rkt	removal	5 years ago

Jesse Alama 2e8f5e42be 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.)

brag.scrbl

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

info.rkt

removal