diff options
Diffstat (limited to 'stlc-let.rkt')
| -rw-r--r-- | stlc-let.rkt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/stlc-let.rkt b/stlc-let.rkt index 82d7a5f..84bf588 100644 --- a/stlc-let.rkt +++ b/stlc-let.rkt @@ -68,7 +68,6 @@ ;; (equiv Type Type): Bool (define (equiv a b) (match* (a b) - [[`(ref ,a) `(ref ,b)] (equiv a b)] [[`(→ ,a ,c) `(→ ,b ,d)] (and (equiv a b) (equiv c d))] [[a b] (equal? a b)])) |