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

fine-tune typechecking index entry

Browse Source 
svn: r12920

original commit: ec600c59bb9caa15f10fb68844677e56a4ce86dc
This commit is contained in:
Matthew Flatt 2008-12-21 13:57:46 +00:00
parent d6c37aaf3d
commit 547102b2b4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/ts-guide.scrbl
View File

@ -14,7 +14,7 @@
@author["Sam Tobin-Hochstadt"]
@index["typecheck"]
@section-index["typechecking"]
Typed Scheme is a Scheme-like language, with a type system that
supports common Scheme programming idioms. Explicit type declarations