From ca2b62fc70057b5f987fcaa7fcfe6d5e2cfb9704 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Fri, 8 Jan 2016 22:53:18 -0500 Subject: [PATCH] Fixed cur-equal? --- curnel/redex-lang.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/curnel/redex-lang.rkt b/curnel/redex-lang.rkt index cf7593c..e782062 100644 --- a/curnel/redex-lang.rkt +++ b/curnel/redex-lang.rkt @@ -244,7 +244,7 @@ ;; Are these two terms equivalent in type-systems internal equational reasoning? (define (cur-equal? e1 e2) - (and (judgment-holds (equivalent ,(delta) ,(eval-cur e1) ,(eval-cur e2)) #t))) + (and (judgment-holds (equivalent ,(delta) ,(eval-cur e1) ,(eval-cur e2))) #t)) (define (type-infer/syn syn) (let ([t (type-infer/term (eval-cur syn))])