PLaneT Package Repository : PLaneT > robby

PLaneT > robby > redex.plt

View packages: [4.x] | 3xx
[contribute a package / log in]

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: 3860

Tickets: 0

Open tickets: 0

Primary files:

reduction-semantics.ss

Name	Contract
`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 version	External version	Source	DLs	Docs	Req. PLT	Date added
(4 4)	—	[browse]	246	[docs]	371.4	2008-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 version	External version	Source	DLs	Docs	Req. PLT	Date added
(4 3)	—	[browse]	18	[docs]	371.4	2008-01-31
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 3))))`
Available in repositories: 3xx, 4.x

(4 2)	—	[browse]	9	[docs]	371.4	2008-01-04
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 2))))`
Available in repositories: 4.x, 3xx

(4 1)	—	[browse]	20	[docs]	371.4	2007-12-09
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 1))))`
Available in repositories: 4.x, 3xx

(4 0)	—	[browse]	7	[docs]	371.4	2007-11-27
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 4 (= 0))))`
Available in repositories: 3xx, 4.x

(3 28)	—	[browse]	282	[docs]	370.3	2007-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)	—	[browse]	5	[docs]	370.3	2007-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)	—	[browse]	51	[docs]	370.3	2007-08-14
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 26))))`
Available in repositories: 3xx, 4.x

(3 25)	—	[browse]	8	[docs]	370.3	2007-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)	—	[browse]	7	[docs]	370.3	2007-07-18
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 24))))`
Available in repositories: 3xx, 4.x

(3 23)	—	[browse]	15	[docs]	370.3	2007-07-12
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 23))))`
Available in repositories: 4.x, 3xx

(3 22)	—	[browse]	2	[docs]	370.3	2007-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)	—	[browse]	1	[docs]	370.3	2007-07-11
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 21))))`
Available in repositories: 4.x, 3xx

(3 20)	—	[browse]	53	[docs]	370.3	2007-07-06
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 20))))`
Available in repositories: 3xx, 4.x

(3 19)	—	[browse]	9	[docs]	370.3	2007-06-26
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 19))))`
Available in repositories: 3xx, 4.x

(3 18)	—	[browse]	14	[docs]	370.3	2007-06-16
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 18))))`
Available in repositories: 4.x, 3xx

(3 17)	—	[browse]	5	[docs]	370.3	2007-06-13
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 17))))`
Available in repositories: 3xx, 4.x

(3 16)	—	[browse]	3	[docs]	370.3	2007-06-10
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 16))))`
Available in repositories: 4.x, 3xx

(3 15)	—	[browse]	28	[docs]	369.100	2007-06-06
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 15))))`
Available in repositories: 4.x, 3xx

(3 14)	—	[browse]	4	[docs]	369.100	2007-06-05
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 14))))`
Available in repositories: 3xx, 4.x

(3 13)	—	[browse]	2	[docs]	369.100	2007-06-05
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 13))))`
Available in repositories: 4.x, 3xx

(3 12)	—	[browse]	31	[docs]	369.100	2007-05-19
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 12))))`
Available in repositories: 3xx, 4.x

(3 11)	—	[browse]	9	[docs]	369.9	2007-05-16
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 11))))`
Available in repositories: 4.x, 3xx

(3 10)	—	[browse]	1	[docs]	369.9	2007-05-15
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 10))))`
Available in repositories: 4.x, 3xx

(3 9)	—	[browse]	91	[docs]	369.9	2007-05-06
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 9))))`
Available in repositories: 4.x, 3xx

(3 8)	—	[browse]	25	[docs]	369.9	2007-04-14
To load: `(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 3 (= 8))))`
Available in repositories: 4.x, 3xx

(3 7)	—	[browse]	113	[docs]	369.8	2007-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)	—	[browse]	9	[docs]	369.8	2007-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)	—	[browse]	38	[docs]	301.3	2007-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)	—	[browse]	6	[docs]	301.3	2007-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)	—	[browse]	15	[docs]	301.3	2007-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)	—	[browse]	7	[docs]	301.3	2007-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)	—	[browse]	37	[docs]	301.3	2007-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)	—	[browse]	4	[docs]	301.3	2007-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)	—	[browse]	1209	[docs]	301.3	2007-04-01
To load: `(require (planet "[file]" ("robby" "redex.plt" 2 (= 6))))`
Available in repositories: 3xx, 4.x
[no release notes]
(2 5)	—	[browse]	109	[docs]	301.3	2007-04-01
To load: `(require (planet "[file]" ("robby" "redex.plt" 2 (= 5))))`
Available in repositories: 4.x, 3xx
[no release notes]
(2 4)	—	[browse]	99	[docs]	301.3	2007-04-01
To load: `(require (planet "[file]" ("robby" "redex.plt" 2 (= 4))))`
Available in repositories: 4.x, 3xx
[no release notes]
(2 3)	—	[browse]	26	[docs]	301.3	2007-04-01
To load: `(require (planet "[file]" ("robby" "redex.plt" 2 (= 3))))`
Available in repositories: 4.x, 3xx
[no release notes]
(2 2)	—	[browse]	107	[docs]	301.3	2007-04-01
To load: `(require (planet "[file]" ("robby" "redex.plt" 2 (= 2))))`
Available in repositories: 3xx, 4.x
[no release notes]
(2 1)	—	[browse]	37	[docs]	301.3	2007-04-01
To load: `(require (planet "[file]" ("robby" "redex.plt" 2 (= 1))))`
Available in repositories: 3xx, 4.x
[no release notes]
(2 0)	—	[browse]	62	[docs]	[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)	—	[browse]	913	[docs]	[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)	—	[browse]	12	[docs]	[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)	—	[browse]	19	[docs]	[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)	—	[browse]	92	[docs]	[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]