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

stlc sub 3

Browse Source
This commit is contained in:
Jay McCarthy 2014-03-19 15:17:01 -06:00
parent 84fcd48039
commit b1bc4ce430
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/3.diff
View File

@ -6,3 +6,7 @@
< ((subst M x v) (subst N x v))] < ((subst M x v) (subst N x v))]
--- ---
> ((subst N x v) (subst M x v))] > ((subst N x v) (subst M x v))]
290a291,293
> (define small-counter-example
> (term ((λ (x int) (+ 1)) 1)))
> (test-equal (check small-counter-example) #f)

3
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt
View File

@ -288,3 +288,6 @@
(generate-term stlc M #:i-th index) (generate-term stlc M #:i-th index)
(set! index (add1 index)))))) (set! index (add1 index))))))
(define small-counter-example
(term ((λ (x int) (+ 1)) 1)))
(test-equal (check small-counter-example) #f)