((( [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 [docs]
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: 277
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
82
3712007-11-06
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
3712007-11-05
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
3702007-10-12
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
369.22007-05-04
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
369.22007-05-04
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.22007-04-01
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 3))))
Available in repositories: 3xx
[no release notes]
(1 2)0.1
45
369.12007-04-01
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
369.12007-04-01
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 1))))
Available in repositories: 3xx
[no release notes]
(1 0)0.1
8
369.12007-04-01
To load: (require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 (= 0))))
Available in repositories: 3xx
[no release notes]