| To load: | (require (planet dvanhorn/closure-calculus:1:0/<<file>>)) |
| Old style: | (require (planet "[file]" ("dvanhorn" "closure-calculus.plt" 1 0))) |
| Min Racket version: | 301.3 |
| Package description: | An aplicative order reduction semantics for the lambda-rho-hat calculus of closures. |
| Downloads this week: | 0 |
| Total downloads: | 87 |
| Tickets: | 0 |
| Open tickets: | 0 |
| Primary files: |
| Current version |
| PLaneT version | External version | Source | DLs | Docs | Req. PLT | Date added |
| (1 0) | — | [browse] | 87 | [docs] | 301.3 | 2007-04-01 |
| To load: (require (planet dvanhorn/closure-calculus:1:0/<<file>>)) | ||||||
| Available in repositories: 4.x, 3xx | ||||||
| [no release notes] | ||||||
![[logo]](/logo.png){kind=logo}