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

Fixed bug in docs

Browse Source
This commit is contained in:
William J. Bowman 2016-01-19 11:07:57 -05:00
parent bf987cdb06
commit 4ef32ff3fa
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
cur-doc/cur/scribblings/stdlib/sugar.scrbl
View File

@ -29,14 +29,13 @@ This library defines various syntactic extensions making Cur easier to write tha
A multi-artiy function type that supports dependent and non-dependent type declarations and automatic currying. A multi-artiy function type that supports dependent and non-dependent type declarations and automatic currying.
@examples[#:eval curnel-eval @examples[#:eval curnel-eval
(data And : (-> Type Type) (data And : (-> Type Type Type)
(conj : (-> (A : Type) (B : Type) A B ((And A) B)))) (conj : (-> (A : Type) (B : Type) A B ((And A) B))))
((((conj Bool) Bool) true) false)] ((((conj Bool) Bool) true) false)]
}
@examples[#:eval curnel-eval @examples[#:eval curnel-eval
(data And : (forall Type Type Type) (data And : (forall Type Type Type)
(conj : (forall (A : Type) (B : Type) A B ((And A) B)))) (conj : (forall (A : Type) (B : Type) A B (And A B))))
((((conj Bool) Bool) true) false)] ((((conj Bool) Bool) true) false)]
} }
@ -120,7 +119,6 @@ If @racket[#:return] is not specified, attempts to infer the return type of the
@examples[#:eval curnel-eval @examples[#:eval curnel-eval
((match (nil Bool) ((match (nil Bool)
#:in (List Bool)
[(nil (A : Type)) [(nil (A : Type))
(lambda (n : Nat) (lambda (n : Nat)
(none A))] (none A))]