stlc 9
This commit is contained in:
parent
0d8dab679f
commit
c1db657163
|
@ -8,3 +8,8 @@
|
|||
> [(lookup (x σ Γ) x_2)
|
||||
238d237
|
||||
<
|
||||
270a270,273
|
||||
>
|
||||
> (define small-counter-example
|
||||
> (term ((λ (x int) (λ (y (list int)) x)) 1)))
|
||||
> (test-equal (check small-counter-example) #f)
|
||||
|
|
|
@ -267,3 +267,7 @@
|
|||
(begin0
|
||||
(generate-term stlc M #:i-th index)
|
||||
(set! index (add1 index))))))
|
||||
|
||||
(define small-counter-example
|
||||
(term ((λ (x int) (λ (y (list int)) x)) 1)))
|
||||
(test-equal (check small-counter-example) #f)
|
||||
|
|
Loading…
Reference in New Issue
Block a user