((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning
PLaneT > robby > redex.plt
View packages:  [4.x] | 3xx
[contribute a package / log in]
Package redex.plt contributed by robby  [package home page]
To load: (require (planet robby/redex:4:4/reduction-semantics))
Old style:(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 4)))
Min Racket version: 371.4
Package description:
Redex is now part of the main Racket distribution. This is an old version, left here for backwards compatibility.
Downloads this week: 0
Total downloads: 3859
Tickets:0
Open tickets:0
Primary files:
reduction-semantics.ss
NameContract
reduction-relation—
-->—
fresh—
where—
extend-reduction-relation—
reduction-relation?—
compatible-closure—
context-closure—
define-language—
define-extended-language—
plug—
compiled-lang?—
term—
term-let—
none?—
define-metafunction—
define-metafunction/extension—
define-multi-args-metafunction—
define-multi-args-metafunction/extension—
metafunction—
test-match—
term-match—
term-match/single—
make-bindings—
bindings-table—
bindings?—
mtch?—
mtch-bindings—
mtch-context—
mtch-hole—
make-rib—
rib?—
rib-name—
rib-exp—
reduction-relation->rule-names
(-> reduction-relation? (listof symbol?))
language-nts
(-> compiled-lang? (listof symbol?))
set-cache-size!
(-> number? void?)
apply-reduction-relation
(-> reduction-relation? any/c (listof any/c))
apply-reduction-relation/tag-with-names
(-> reduction-relation? any/c (listof (list/c (union false/c string?) any/c)))
apply-reduction-relation*
(-> reduction-relation? any/c (listof any/c))
union-reduction-relations
(->*
 (reduction-relation? reduction-relation?)
 (listof reduction-relation?)
 (reduction-relation?))
lookup-binding
(case-> (-> bindings? symbol? any) (-> bindings? symbol? (-> any) any))
variable-not-in
(-> any/c symbol? symbol?)
variables-not-in
(-> any/c (listof symbol?) (listof symbol?))
 Current version
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(4 4)—
245
[none]
371.4Monday, February 25th, 2008
To load: (require (planet robby/redex:4:4/reduction-semantics))
Available in repositories: 4.x, 3xx
&robby\; \&redex.plt\; 4 4)\r\n\r\n - undid some changes that broke backwards compatibility\r\n\r\n
No Tickets Currently open for this Package [New Ticket]

 Old versions
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(4 3)—
18
[none]
371.4Thursday, January 31st, 2008
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 3))))
Available in repositories: 4.x, 3xx
(4 2)—
9
[none]
371.4Friday, January 4th, 2008
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 2))))
Available in repositories: 4.x, 3xx
(4 1)—
20
[none]
371.4Sunday, December 9th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 1))))
Available in repositories: 4.x, 3xx
(4 0)—
7
[none]
371.4Tuesday, November 27th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 0))))
Available in repositories: 4.x, 3xx
(3 28)—
282
[none]
370.3Sunday, October 21st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 28))))
Available in repositories: 4.x, 3xx

- fixed a bug in the pict generation for metafunctions
(3 27)—
5
[none]
370.3Saturday, October 20th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 27))))
Available in repositories: 4.x, 3xx

- added horizontal-arrow-space, horizontal-label-space
- number & variable now typeset in italics (to match the other non-terminals)
- improved fresh variable generation
- added `where' for bindings in metafunctions
- added 'up-down mode for metafunction typesetting
- added optional argument to reduction-relation->pict &
reduction-relation->ps
- PR 8957
(3 26)—
51
[none]
370.3Wednesday, August 15th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 26))))
Available in repositories: 4.x, 3xx
(3 25)—
8
[none]
370.3Saturday, August 4th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 25))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 24)—
7
[none]
370.3Wednesday, July 18th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 24))))
Available in repositories: 4.x, 3xx
(3 23)—
15
[none]
370.3Thursday, July 12th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 23))))
Available in repositories: 4.x, 3xx
(3 22)—
2
[none]
370.3Wednesday, July 11th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 22))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 21)—
1
[none]
370.3Wednesday, July 11th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 21))))
Available in repositories: 4.x, 3xx
(3 20)—
53
[none]
370.3Saturday, July 7th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 20))))
Available in repositories: 4.x, 3xx
(3 19)—
9
[none]
370.3Tuesday, June 26th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 19))))
Available in repositories: 4.x, 3xx
(3 18)—
14
[none]
370.3Saturday, June 16th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 18))))
Available in repositories: 4.x, 3xx
(3 17)—
5
[none]
370.3Wednesday, June 13th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 17))))
Available in repositories: 4.x, 3xx
(3 16)—
3
[none]
370.3Monday, June 11th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 16))))
Available in repositories: 4.x, 3xx
(3 15)—
28
[none]
369.100Wednesday, June 6th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 15))))
Available in repositories: 4.x, 3xx
(3 14)—
4
[none]
369.100Tuesday, June 5th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 14))))
Available in repositories: 4.x, 3xx
(3 13)—
2
[none]
369.100Tuesday, June 5th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 13))))
Available in repositories: 4.x, 3xx
(3 12)—
31
[none]
369.100Saturday, May 19th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 12))))
Available in repositories: 4.x, 3xx
(3 11)—
9
[none]
369.9Wednesday, May 16th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 11))))
Available in repositories: 4.x, 3xx
(3 10)—
1
[none]
369.9Wednesday, May 16th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 10))))
Available in repositories: 4.x, 3xx
(3 9)—
91
[none]
369.9Sunday, May 6th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 9))))
Available in repositories: 4.x, 3xx
(3 8)—
25
[none]
369.9Saturday, April 14th, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 8))))
Available in repositories: 4.x, 3xx
(3 7)—
113
[none]
369.8Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 7))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 6)—
9
[none]
369.8Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 6))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 5)—
38
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 5))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 4)—
6
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 4))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 3)—
15
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 3))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 2)—
7
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 2))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 1)—
37
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 1))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 0)—
4
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 0))))
Available in repositories: 4.x, 3xx
[no release notes]
(2 6)—
1209
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 6))))
Available in repositories: 4.x, 3xx
[no release notes]
(2 5)—
109
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 5))))
Available in repositories: 4.x, 3xx
[no release notes]
(2 4)—
99
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 4))))
Available in repositories: 4.x, 3xx
[no release notes]
(2 3)—
26
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 3))))
Available in repositories: 4.x, 3xx
[no release notes]
(2 2)—
107
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 2))))
Available in repositories: 4.x, 3xx
[no release notes]
(2 1)—
37
[none]
301.3Sunday, April 1st, 2007
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 1))))
Available in repositories: 4.x, 3xx
[no release notes]
(2 0)—
62
[none]
[none]Sunday, April 1st, 2007
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 0))))
Available in repositories: 4.x, 3xx
[no release notes]
(1 3)—
913
[none]
[none]Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 1 (= 3))))
Available in repositories: 4.x, 3xx
[no release notes]
(1 2)—
12
[none]
[none]Sunday, April 1st, 2007
To load: (require (planet "[file]" ("robby" "redex.plt" 1 (= 2))))
Available in repositories: 4.x, 3xx
[no release notes]
(1 1)—
19
[none]
[none]Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 1 (= 1))))
Available in repositories: 4.x, 3xx
[no release notes]
(1 0)—
92
[none]
[none]Sunday, April 1st, 2007
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 1 (= 0))))
Available in repositories: 4.x, 3xx
[no release notes]