svn: r16303
This commit is contained in:
Eli Barzilay 2009-10-13 05:35:41 +00:00
parent 876f693669
commit 106f21cc14

View File

@ -73,7 +73,7 @@ structure type:
[(struct hat (23 'bowler)) "top"])
]
Unquoted, non-constructor identifiers in an pattern are @tech{pattern
Unquoted, non-constructor identifiers in a pattern are @tech{pattern
variables} that are bound in the result expressions:
@interaction[