To load: | (require (planet haiwei/tee-pipe:1:0/tee-pipe)) |
Old style: | (require (planet "tee-pipe.rkt" ("haiwei" "tee-pipe.plt" 1 0))) |
Package description: | Duplicate a input port to an any way tee pipe for many input port handlers |
Downloads this week: | 0 |
Total downloads: | 3 |
Tickets: | 0 |
Open tickets: | 0 |
Primary files: | [no interface available] |
Current version |
PLaneT version | External version | Source | DLs | Docs | Req. PLT | Date added |
(1 0) | — | [browse] | 3 | [docs] | [none] | 2013-01-21 |
To load: (require (planet haiwei/tee-pipe:1:0/tee-pipe)) | ||||||
Available in repositories: 4.x | ||||||
|