svn: r12919
This commit is contained in:
John Clements 2008-12-21 10:00:47 +00:00
parent 72768ef333
commit 424ec50bfb

View File

@ -14,6 +14,8 @@
@author["Sam Tobin-Hochstadt"]
@index["typecheck"]
Typed Scheme is a Scheme-like language, with a type system that
supports common Scheme programming idioms. Explicit type declarations
are required --- that is, there is no type inference. The language