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

Fix doc typo.

Browse Source
This commit is contained in:
Vincent St-Amour 2015-08-05 13:58:53 -05:00
parent b9268e99db
commit 6b70510ebe
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-doc/typed-racket/scribblings/reference/types.scrbl
View File

@ -740,7 +740,7 @@ functions and continuation mark functions.
@defform*[[(All (a ...) t)
(All (a ... a ooo) t)]]{
is a parameterization of type @racket[t], with
type variables @racket[v ...]. If @racket[t] is a function type
type variables @racket[a ...]. If @racket[t] is a function type
constructed with infix @racket[->], the outer pair of parentheses
around the function type may be omitted.
@ex[(: list-length : (All (A) (Listof A) -> Natural))