yiyunliu/nbe-kripke-racket
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Minor

Browse source
This commit is contained in:
Yiyun Liu 2025-05-13 17:08:48 -04:00
parent 193be1168e
commit f5fe22c419
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
nbe.rkt
View file

@ -146,6 +146,10 @@
[`(app ,a ,b) (max (scope a) (scope b))] [`(app ,a ,b) (max (scope a) (scope b))]
[`(var ,i) (+ i 1)])) [`(var ,i) (+ i 1)]))
(: interp-with-scope (-> V Term D))
(define (interp-with-scope n a)
(interp a (λ (x) (delay (idsub n x)))))
(: normalize (-> Term Term)) (: normalize (-> Term Term))
(define (normalize a) (define (normalize a)
(let ([sa (scope a)]) (let ([sa (scope a)])