suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add Nonnegative-Integer as a synonym for Natural.

Browse Source 
original commit: 15aeb099ea587eef539884620b222bff7766ec77
This commit is contained in:
Vincent St-Amour 2011-08-29 15:25:53 -04:00
parent a9fd799164
commit bb11c93478
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/base-env/base-types.rkt
View File

@ -53,7 +53,8 @@
[Integer -Int]
[Nonpositive-Integer -NonPosInt]
[Negative-Integer -NegInt]
[Exact-Nonnegative-Integer -Nat] ; both of these are valid
[Exact-Nonnegative-Integer -Nat] ; all three of these are valid
[Nonnegative-Integer -Nat]
[Natural -Nat]
[Exact-Positive-Integer -PosInt] ; both of these are valid
[Positive-Integer -PosInt]