((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning
PLaneT > plt > typed-scheme.plt
View packages:  [4.x] | 3xx
[contribute a package / log in]
This package is not available in the 4.x repository. Showing package versions available for all repositories instead.
Package typed-scheme.plt contributed by plt 
To load: (require (planet plt/typed-scheme:2:2/typed-scheme))
Old style:(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 2 2)))
Min Racket version: 371
Package description:
This language allows the definition and execution of typed scheme programs.
Downloads this week: 0
Total downloads: 281
Tickets:0
Open tickets:0
Primary files:
typed-scheme.ss
NameContract
(all-from private/prims.ss)—
(all-from private/extra-procs.ss)—
(all-from-except mzscheme with-handlers #%module-begin #%top-interaction)—
#%module-begin—
with-handlers—
#%top-interaction—
 Packages in other repositories

These packages are not available in the 4.x repository, but they are available for other versions of Racket.

PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(2 2)0.91
84
[none]
371Tuesday, November 6th, 2007
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 2 (= 2))))
Available in repositories: 3xx
This release fixes an error that occurred when errortrace was enabled.This release fixes several regressions in the previous release.
(2 1)0.91
5
[none]
371Tuesday, November 6th, 2007
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 2 (= 1))))
Available in repositories: 3xx
This release fixes several regressions in the previous release.
(2 0)0.9
30
[none]
370Friday, October 12th, 2007
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 2 (= 0))))
Available in repositories: 3xx
Typed Scheme is now much faster.
(1 5)0.9
86
[none]
369.2Friday, May 4th, 2007
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 5))))
Available in repositories: 3xx
[no release notes]
(1 4)0.9
1
[none]
369.2Friday, May 4th, 2007
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 4))))
Available in repositories: 3xx
[no release notes]
(1 3)1.0
13
[none]
369.2Sunday, April 1st, 2007
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 3))))
Available in repositories: 3xx
[no release notes]
(1 2)0.1
46
[none]
369.1Sunday, April 1st, 2007
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 2))))
Available in repositories: 3xx
[no release notes]
(1 1)0.1
7
[none]
369.1Sunday, April 1st, 2007
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 1))))
Available in repositories: 3xx
[no release notes]
(1 0)0.1
9
[none]
369.1Sunday, April 1st, 2007
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 0))))
Available in repositories: 3xx
[no release notes]