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

typo: construct -> contract

Browse Source
This commit is contained in:
Benjamin Greenman 2015-09-13 00:45:59 -04:00 committed by Robby Findler
parent aa0823daf6
commit dedde2cd60
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/racket-doc/scribblings/reference/contracts.scrbl
View File

@ -1356,7 +1356,7 @@ if they do not, a contract violation is signaled.
Then, when the function returns, it is checked to determine whether the result is wrapped, since
the second @racket[a] appears in a positive position.
The @racket[new-∀/c] construct constructor is dual to @racket[new-∃/c].
The @racket[new-∀/c] contract constructor is dual to @racket[new-∃/c].
}
@defproc[(new-∃/c [name (or/c symbol? #f) #f]) contract?]{