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

PR 10663

Browse Source 
svn: r17332
This commit is contained in:
Casey Klein 2009-12-16 21:02:08 +00:00
parent eb4403f1c7
commit 97c2278a6b
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/redex/redex.scrbl
View File

@ -935,9 +935,7 @@ an expression in the lc-lang above:
The first argument to define-metafunction is the grammar
(defined above). Following that are three cases, one for
each variation of expressions (e in lc-lang). The right-hand
side of each clause begins with a comma, since they are
implicitly wrapped in @|tttterm|. The free variables of an
each variation of expressions (e in lc-lang). The free variables of an
application are the free variables of each of the subterms;
the free variables of a variable is just the variable
itself, and the free variables of a lambda expression are