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

svn: r11212

Browse Source
This commit is contained in:
Robby Findler 2008-08-13 01:33:15 +00:00
parent e233989e1d
commit 9bbcfd1324
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/redex.scrbl
View File

@ -601,7 +601,7 @@ all non-GUI portions of Redex) and also exported by
(extras name
(fresh fresh-clause ...)
(side-condition scheme-expression ...)
(where tl-pat scheme-expression))
(where tl-pat #, @|tttterm|))
(fresh-clause var ((var1 ...) (var2 ...))))]{
Defines a reduction relation casewise, one case for each of the