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.
f43a75e8cf
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 | |
---|---|---|
brag | 6 years ago | |
brag-lib | 6 years ago | |
.gitignore | 6 years ago | |
.travis.yml | 6 years ago | |
LICENSE | 8 years ago | |
README.md | 8 years ago |