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

...

Browse Source 
svn: r12919

original commit: 424ec50bfb3b755103b0516c4a0e69d40ed67811
This commit is contained in:
John Clements 2008-12-21 10:00:47 +00:00
parent 59481295ef
commit d6c37aaf3d
1 changed files with 2 additions and 0 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,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