This package is not available in the 4.x repository. Showing package versions available for all repositories instead.
Package equiv.plt contributed by cce [docs]
To load: (require (planet cce/equiv:1:2/equiv))
Old style:(require (planet "equiv.ss" ("cce" "equiv.plt" 1 2)))
Package description:
Extensible Recursive Equivalence Relations.
Downloads this week: 0
Total downloads: 431
Tickets:0
Open tickets:0
Primary files:
NameContract
equiv-rules/c
flat-contract?
equiv-rules?
predicate/c
default-equiv-rules
equiv-rules/c
add-equiv-rule
(-> predicate/c node-equality/c equiv-rules/c equiv-rules/c)
add-binary-equiv-rule
(-> binary-predicate/c node-equality/c equiv-rules/c equiv-rules/c)
add-equiv-rule/leaf
(-> predicate/c equality/c equiv-rules/c equiv-rules/c)
make-equiv
(-> equiv-rules/c equality/c)
current-equiv-rules
parameter?
equiv?
equality/c
 Packages in other repositories

These packages are not available in the 4.x repository, but they are available for other versions of Racket.

PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 2)
134
[none]2007-05-24
To load: (require (planet "equiv.ss" ("cce" "equiv.plt" 1 (= 2))))
Available in repositories: 3xx
1.2: Added equivalence rules with binary predicates.
1.1: Fixed a contract error.
1.0: Initial release.
(1 1)
281
[none]2007-04-01
To load: (require (planet "equiv.ss" ("cce" "equiv.plt" 1 (= 1))))
Available in repositories: 3xx
[no release notes]
(1 0)
16
[none]2007-04-01
To load: (require (planet "equiv.ss" ("cce" "equiv.plt" 1 (= 0))))
Available in repositories: 3xx
[no release notes]