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

Added unicode to docs

Browse Source
This commit is contained in:
William J. Bowman 2015-10-02 21:38:43 -04:00
parent 6b4bbf9618
commit ca9e36a973
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
scribblings/stdlib/sugar.scrbl
View File

@ -23,7 +23,8 @@ that expands into the eliminator.
@defmodule[cur/stdlib/sugar]
This library defines various syntactic extensions making Cur easier to write than writing raw TT.
@defform[(-> t1 t2)]{
@defform*[((-> t1 t2)
(→ t1 t2))]{
A non-dependent function type Equivalent to @racket[(forall (_ : t1) t2)], where @racket[_] indicates an variable that is not used.
@examples[#:eval curnel-eval
@ -32,7 +33,8 @@ A non-dependent function type Equivalent to @racket[(forall (_ : t1) t2)], where
((((conj Bool) Bool) true) false)]
}
@defform[(->* t ...)]{
@defform*[((->* t ...)
(→* t ...))]{
A non-dependent multi-arity function type that supports automatic currying.
@examples[#:eval curnel-eval
@ -42,7 +44,8 @@ A non-dependent multi-arity function type that supports automatic currying.
}
@defform[(forall* (a : t) ... type)]{
@defform*[((forall* (a : t) ... type)
(∀* (a : t) ... type))]{
A multi-arity function type that supports automatic currying.
@examples[#:eval curnel-eval
@ -53,7 +56,8 @@ A multi-arity function type that supports automatic currying.
}
@defform[(lambda* (a : t) ... body)]{
@defform*[((lambda* (a : t) ... body)
(λ* (a : t) ... body))]{
Defines a multi-arity procedure that supports automatic currying.
@examples[#:eval curnel-eval