Package typed-student.plt contributed by dvanhorn 
To load: (require (planet dvanhorn/typed-student:1:1/advanced))
Old style:(require (planet "advanced.ss" ("dvanhorn" "typed-student.plt" 1 1)))
Min Racket version: 4.1
Package description:
Typed Student: typed languages and teachpacks for HtDP.
Downloads this week: 0
Total downloads: 150
Tickets:0
Open tickets:0
Primary files:
[no interface available]
[no interface available]
 Current version
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 1)
149
[none]
4.12008-10-26
To load: (require (planet dvanhorn/typed-student:1:1/advanced))
Available in repositories: 4.x
Refined some uses of Number into Integer.
Initial, incomplete, release.
No Tickets Currently open for this Package [New Ticket]

 Old versions
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 0)
1
[none]
4.12008-10-26
To load: (require (planet "advanced.ss" ("dvanhorn" "typed-student.plt" 1 (= 0))))
Available in repositories: 4.x
Initial, incomplete, release.