PLaneT Package Repository : PLaneT > dvanhorn

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:	51
Tickets:	0
Open tickets:	0
Primary files:

Current version

PLaneT version	External version	Source	DLs	Docs	Req. PLT	Date added
(1 5)	—	[browse]	44	[docs]	4.2.5	2010-05-27
To load: `(require (planet dvanhorn/typed:1:5/<<file>>))`
Available in repositories: 4.x
Added list operations. Added lang/posn.

No Tickets Currently open for this Package [New Ticket]

Old versions

PLaneT version	External version	Source	DLs	Docs	Req. PLT	Date added
(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.