PLaneT Package Repository : PLaneT > dvanhorn

This package is not available in the 3xx repository. Showing package versions available for all repositories instead.

Package typed.plt contributed by dvanhorn [docs]

To load:	`(require (planet dvanhorn/typed:1:5/<<file>>))`
Old style:	`(require (planet "[file]" ("dvanhorn" "typed.plt" 1 5)))`
Min Racket version:	`4.2.5`
Package description:	Typed libraries and utilities.
Downloads this week:	0
Total downloads:	50
Tickets:	0
Open tickets:	0
Primary files:

Packages in other repositories

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

PLaneT version	External version	Source	DLs	Docs	Req. PLT	Date added
(1 5)	—	[browse]	43	[docs]	4.2.5	2010-05-27
To load: `(require (planet "[file]" ("dvanhorn" "typed.plt" 1 (= 5))))`
Available in repositories: 4.x
Added list operations. Added lang/posn.
(1 4)	—	[browse]	1	[docs]	4.2.5	2010-05-26
To load: `(require (planet "[file]" ("dvanhorn" "typed.plt" 1 (= 4))))`
Available in repositories: 4.x
Improved documentation references to 2htdp. Improved documentation examples. Refined predicate procedures to type predicates. Added `above0`, `beside0`, etc.
(1 3)	—	[browse]	2	[docs]	4.2.5	2010-05-26
To load: `(require (planet "[file]" ("dvanhorn" "typed.plt" 1 (= 3))))`
Available in repositories: 4.x
Improved documentation references to Typed Scheme. Expanded test suite.
(1 2)	—	[browse]	0	[docs]	4.2.5	2010-05-26
To load: `(require (planet "[file]" ("dvanhorn" "typed.plt" 1 (= 2))))`
Available in repositories: 4.x
Added documentation. Added some arithmetic functions.
(1 1)	—	[browse]	4	[docs]	4.2.5	2010-05-25
To load: `(require (planet "[file]" ("dvanhorn" "typed.plt" 1 (= 1))))`
Available in repositories: 4.x
Fixed return type of animate. See PR 10931.
(1 0)	—	[browse]	0	[docs]	4.2.5	2010-05-25
To load: `(require (planet "[file]" ("dvanhorn" "typed.plt" 1 (= 0))))`
Available in repositories: 4.x
Initial release. Contains 2htdp/image and parts of 2htdp/universe.