[logo]PLT SchemeNeed Help?
AboutDownloadDocumentationPLaneTCommunityOutreach & Research 
PLaneT > tov > affine-contracts.plt
View packages:  4.x | [3xx]
[contribute a package / log in]
This package is not available in the 3xx repository. Showing package versions available for all repositories instead.
Package affine-contracts.plt contributed by tov [docs]
To load: (require (planet tov/affine-contracts:2:2))
Old style:(require (planet "main.ss" ("tov" "affine-contracts.plt" 2 2)))
Min PLT Scheme version: 4.1.4
Package description:
Affine contracts for one-shot functions and boxes
Downloads this week: 0
Total downloads: 8
Tickets:0
Open tickets:0
Primary files:
main.ss
[no interface available]
 Packages in other repositories

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

PLaneT versionExternal VersionSourceDLsDocsReq. PLT
(2 2)0.2.1
6
4.1.4
To load: (require (planet "main.ss" ("tov" "affine-contracts.plt" 2 (= 2))))
Available in repositories: 4.x
  • 0.2.0: Added facilities for defining new types of affine boxes.
  • Unclear what the required version of PLT Scheme should be. However, we use an undocumented contract accessor proj-get, so it definitely depends on that. It's known to work with 4.1.4.2, but I suspect that's overly restrictive.
  • Initial release
(2 1)0.2.1
0
4.1.4
To load: (require (planet "main.ss" ("tov" "affine-contracts.plt" 2 (= 1))))
Available in repositories: 4.x
  • 0.2.0: Added facilities for defining new types of affine boxes.
  • Unclear what the required version of PLT Scheme should be. However, we use an undocumented contract accessor proj-get, so it definitely depends on that. It's known to work with 4.1.4.2, but I suspect that's overly restrictive.
  • Initial release
(2 0)0.2.0
1
4.1.4
To load: (require (planet "main.ss" ("tov" "affine-contracts.plt" 2 (= 0))))
Available in repositories: 4.x
  • 0.2.0: Added facilities for defining new types of affine boxes.
  • Unclear what the required version of PLT Scheme should be. However, we use an undocumented contract accessor proj-get, so it definitely depends on that. It's known to work with 4.1.4.2, but I suspect that's overly restrictive.
  • Initial release
(1 1)0.1.1
0
4.1.4
To load: (require (planet "main.ss" ("tov" "affine-contracts.plt" 1 (= 1))))
Available in repositories: 4.x
  • Initial release
  • Unclear what the required version of PLT Scheme should be. However, we use an undocumented contract accessor proj-get, so it definitely depends on that. It's known to work with 4.1.4.2, but I suspect that's overly restrictive.
(1 0)0.1
1
[none]
To load: (require (planet "main.ss" ("tov" "affine-contracts.plt" 1 (= 0))))
Available in repositories: 4.x
  • Initial release
  • Unclear what the required version of PLT Scheme should be. However, we use an undocumented contract accessor proj-get, so it definitely depends on that. It's known to work with 4.1.4.2, but I suspect that's overly restrictive.