stlc sub 5
This commit is contained in:
parent
00988db325
commit
e8da597de9
|
@ -6,3 +6,7 @@
|
|||
< [(subst x x v)
|
||||
---
|
||||
> [(subst x y v)
|
||||
290a291,293
|
||||
> (define small-counter-example
|
||||
> (term ((λ (x int) (λ (y (list int)) (hd y))) 1)))
|
||||
> (test-equal (check small-counter-example) #f)
|
||||
|
|
|
@ -288,3 +288,6 @@
|
|||
(generate-term stlc M #:i-th index)
|
||||
(set! index (add1 index))))))
|
||||
|
||||
(define small-counter-example
|
||||
(term ((λ (x int) (λ (y (list int)) (hd y))) 1)))
|
||||
(test-equal (check small-counter-example) #f)
|
||||
|
|
Loading…
Reference in New Issue
Block a user