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

Typo fix.

Browse Source 
svn: r16244
This commit is contained in:
Mike Sperber 2009-10-05 09:01:38 +00:00
parent 64f7fc1a63
commit d92c77adf2
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/deinprogramm/scribblings/std-grammar.ss
View File

@ -29,7 +29,6 @@
[definition @#,scheme[(define id expr)] [definition @#,scheme[(define id expr)]
@#,scheme[(define-record-procedures id id id (id (... ...)))] @#,scheme[(define-record-procedures id id id (id (... ...)))]
@#,scheme[(define-record-procedures-parametric (id id (... ...)) id id (id (... ...)))] @#,scheme[(define-record-procedures-parametric (id id (... ...)) id id (id (... ...)))]
@#,scheme[(contract id contr)]
@#,scheme[(: id contr)] @#,scheme[(: id contr)]
def-rule ...] def-rule ...]
prod ... prod ...
@ -49,6 +48,7 @@
@#,scheme[(letrec ((id expr) (... ...)) expr)] @#,scheme[(letrec ((id expr) (... ...)) expr)]
@#,scheme[(let* ((id expr) (... ...)) expr) ] @#,scheme[(let* ((id expr) (... ...)) expr) ]
@#,scheme[(begin expr expr (... ...))] @#,scheme[(begin expr expr (... ...))]
@#,scheme[(contract id contr)]
@#,scheme[(for-all ((id contr) (... ...)) expr)] @#,scheme[(for-all ((id contr) (... ...)) expr)]
@#,scheme[(==> expr expr)] @#,scheme[(==> expr expr)]
expr-rule ...] expr-rule ...]