Package redex.plt contributed by robby [docs] [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: 3856
Tickets:0
Open tickets:0
Primary files:
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)
243
371.42008-02-25
To load: (require (planet robby/redex:4:4/reduction-semantics))
Available in repositories: 3xx, 4.x
No Tickets Currently open for this Package [New Ticket]

 Old versions
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(4 3)
18
371.42008-01-31
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 3))))
Available in repositories: 3xx, 4.x
(4 2)
9
371.42008-01-04
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 2))))
Available in repositories: 4.x, 3xx
(4 1)
20
371.42007-12-09
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 1))))
Available in repositories: 4.x, 3xx
(4 0)
7
371.42007-11-27
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 0))))
Available in repositories: 3xx, 4.x
(3 28)
281
370.32007-10-21
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 28))))
Available in repositories: 3xx, 4.x

- fixed a bug in the pict generation for metafunctions
(3 27)
5
370.32007-10-20
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
370.32007-08-14
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 26))))
Available in repositories: 3xx, 4.x
(3 25)
8
370.32007-08-04
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 25))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 24)
7
370.32007-07-18
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 24))))
Available in repositories: 3xx, 4.x
(3 23)
15
370.32007-07-12
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 23))))
Available in repositories: 4.x, 3xx
(3 22)
2
370.32007-07-11
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 22))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 21)
1
370.32007-07-11
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 21))))
Available in repositories: 4.x, 3xx
(3 20)
53
370.32007-07-06
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 20))))
Available in repositories: 3xx, 4.x
(3 19)
9
370.32007-06-26
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 19))))
Available in repositories: 3xx, 4.x
(3 18)
14
370.32007-06-16
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 18))))
Available in repositories: 4.x, 3xx
(3 17)
5
370.32007-06-13
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 17))))
Available in repositories: 3xx, 4.x
(3 16)
3
370.32007-06-10
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 16))))
Available in repositories: 4.x, 3xx
(3 15)
28
369.1002007-06-06
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 15))))
Available in repositories: 4.x, 3xx
(3 14)
4
369.1002007-06-05
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 14))))
Available in repositories: 3xx, 4.x
(3 13)
2
369.1002007-06-05
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 13))))
Available in repositories: 4.x, 3xx
(3 12)
31
369.1002007-05-19
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 12))))
Available in repositories: 3xx, 4.x
(3 11)
9
369.92007-05-16
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 11))))
Available in repositories: 4.x, 3xx
(3 10)
1
369.92007-05-15
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 10))))
Available in repositories: 4.x, 3xx
(3 9)
91
369.92007-05-06
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 9))))
Available in repositories: 4.x, 3xx
(3 8)
25
369.92007-04-14
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 8))))
Available in repositories: 4.x, 3xx
(3 7)
113
369.82007-04-01
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 7))))
Available in repositories: 3xx, 4.x
[no release notes]
(3 6)
9
369.82007-04-01
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 6))))
Available in repositories: 3xx, 4.x
[no release notes]
(3 5)
38
301.32007-04-01
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 5))))
Available in repositories: 3xx, 4.x
[no release notes]
(3 4)
6
301.32007-04-01
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 4))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 3)
15
301.32007-04-01
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 3))))
Available in repositories: 3xx, 4.x
[no release notes]
(3 2)
7
301.32007-04-01
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 2))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 1)
37
301.32007-04-01
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 1))))
Available in repositories: 4.x, 3xx
[no release notes]
(3 0)
4
301.32007-04-01
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 0))))
Available in repositories: 3xx, 4.x
[no release notes]
(2 6)
1209
301.32007-04-01
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 6))))
Available in repositories: 3xx, 4.x
[no release notes]
(2 5)
109
301.32007-04-01
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 5))))
Available in repositories: 4.x, 3xx
[no release notes]
(2 4)
99
301.32007-04-01
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 4))))
Available in repositories: 4.x, 3xx
[no release notes]
(2 3)
26
301.32007-04-01
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 3))))
Available in repositories: 4.x, 3xx
[no release notes]
(2 2)
107
301.32007-04-01
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 2))))
Available in repositories: 3xx, 4.x
[no release notes]
(2 1)
37
301.32007-04-01
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 1))))
Available in repositories: 3xx, 4.x
[no release notes]
(2 0)
62
[none]2007-04-01
To load: (require (planet "[file]" ("robby" "redex.plt" 2 (= 0))))
Available in repositories: 3xx, 4.x
[no release notes]
(1 3)
913
[none]2007-04-01
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]2007-04-01
To load: (require (planet "[file]" ("robby" "redex.plt" 1 (= 2))))
Available in repositories: 3xx, 4.x
[no release notes]
(1 1)
19
[none]2007-04-01
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]2007-04-01
To load: (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 1 (= 0))))
Available in repositories: 4.x, 3xx
[no release notes]