Adjust TR Guide blurb, link to TR Reference
This commit is contained in:
parent
d3df30b8ee
commit
ca5fdbd9fa
|
@ -15,7 +15,10 @@
|
||||||
Typed Racket is a family of languages, each of which enforce
|
Typed Racket is a family of languages, each of which enforce
|
||||||
that programs written in the language obey a type system that ensures
|
that programs written in the language obey a type system that ensures
|
||||||
the absence of many common errors. This guide is intended for programmers familiar
|
the absence of many common errors. This guide is intended for programmers familiar
|
||||||
with Racket. For an introduction to Racket, see the @(other-manual '(lib "scribblings/guide/guide.scrbl")).
|
with Racket. For an introduction to Racket, see @(other-manual '(lib "scribblings/guide/guide.scrbl")).
|
||||||
|
|
||||||
|
For the precise details, also see
|
||||||
|
@other-doc['(lib "typed-racket/scribblings/ts-reference.scrbl")].
|
||||||
|
|
||||||
@local-table-of-contents[]
|
@local-table-of-contents[]
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user