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

Fixes minor bugs in two core reduction rules

Browse Source
This commit is contained in:
Casey Klein 2010-11-17 10:58:48 -06:00
parent 48a5c19a4e
commit 8e69aa6ac2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/redex/examples/delim-cont/reduce.rkt
View File

@ -12,7 +12,7 @@
grammar grammar
;; beta ;; beta
(~~> ((λ (x_1 ...) e_1) v_1 ...) (~~> ((λ (x_1 ..._1) e_1) v_1 ..._1)
(subst* (x_1 ...) (v_1 ...) e_1) (subst* (x_1 ...) (v_1 ...) e_1)
"beta") "beta")
@ -25,7 +25,7 @@
"zero?") "zero?")
(~~> (zero? v_1) (~~> (zero? v_1)
#f #f
(side-condition (not (zero? (term v_1)))) (side-condition (not (equal? 0 (term v_1))))
"non-zero") "non-zero")
;; lists ;; lists