(module info (lib "infotab.ss" "setup") (define name "Extensible Recursive Equivalence") (define blurb '("Extensible Recursive Equivalence Relations.")) (define release-notes '("1.2: Added equivalence rules with binary predicates." (br) "1.1: Fixed a contract error." (br) "1.0: Initial release.")) (define categories '(datastructures)) (define can-be-loaded-with 'all) (define doc.txt "doc.txt") (define primary-file "equiv.ss") )