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

Add a top blurb to the TR Reference

Browse Source 
original commit: 6fd39d78d74ec66bb97ce18110e279e151c42e8d
This commit is contained in:
Asumu Takikawa 2014-02-14 17:33:02 -05:00
parent 0e9e628d79
commit 055caf7d7b
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/ts-reference.scrbl
View File

@ -8,6 +8,13 @@
@author+email["Asumu Takikawa" "asumu@racket-lang.org"]
]
This manual describes the Typed Racket language, a sister language
of Racket with a static type-checker. The types, special forms, and
other tools provided by Typed Racket are documented here.
For a friendly introduction, see the companion manual
@other-doc['(lib "typed-racket/scribblings/ts-guide.scrbl")].
@(defmodulelang* (typed/racket/base typed/racket)
#:use-sources
(typed-racket/typed-racket