| 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: | 193 |
| Tickets: | 0 |
| Open tickets: | 0 |
| Primary files: | [no interface available] [no interface available] |
| Current version |
| PLaneT version | External version | Source | DLs | Docs | Req. PLT | Date added |
| (1 1) | — | [browse] | 192 | [none] | 4.1 | 2008-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. | ||||||
| Old versions |
| PLaneT version | External version | Source | DLs | Docs | Req. PLT | Date added |
| (1 0) | — | [browse] | 1 | [none] | 4.1 | 2008-10-26 |
| To load: (require (planet "advanced.ss" ("dvanhorn" "typed-student.plt" 1 (= 0)))) | ||||||
| Available in repositories: 4.x | ||||||
Initial, incomplete, release. | ||||||
![[logo]](/logo.png){kind=logo}