suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adds a `apply-reduction-relation*' example to the docs

Browse Source
This commit is contained in:
Casey Klein 2010-07-21 08:45:54 -05:00
parent ad308e32f1
commit ae99d4e5bc
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
collects/redex/redex.scrbl
View File

@ -875,6 +875,19 @@ sequences that do not repeat, this function will not
terminate (it does terminate if the only infinite reduction paths are cyclic). terminate (it does terminate if the only infinite reduction paths are cyclic).
} }
@examples[
#:eval redex-eval
(define-language empty-lang)
(define R
(reduction-relation
empty-lang
(--> 0 1)
(--> 0 2)
(--> 2 3)
(--> 3 3)))
(apply-reduction-relation R 0)
(apply-reduction-relation* R 0)]
@defidform[-->]{ Recognized specially within @defidform[-->]{ Recognized specially within
@racket[reduction-relation]. A @racket[-->] form is an @racket[reduction-relation]. A @racket[-->] form is an
error elsewhere. } error elsewhere. }