[logo]PLT SchemeNeed Help?
AboutDownloadDocumentationPLaneTCommunityOutreach & Research 
PLaneT > tov > affine-contracts.plt
View packages:  [4.x] | 3xx
[contribute a package / log in]
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: 10
Tickets:1
Open tickets:0
Primary files:
main.ss
[no interface available]
 Current version
PLaneT versionExternal VersionSourceDLsDocsReq. PLT
(2 2)0.2.1
8
4.1.4
To load: (require (planet tov/affine-contracts: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
No Tickets Currently open for this Package [New Ticket]

 Old versions
PLaneT versionExternal VersionSourceDLsDocsReq. PLT
(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.