Add more exports

2025-05-12 16:57:44 -04:00 · 2025-05-12 16:57:44 -04:00 · 31e29cf18e
commit 31e29cf18e
parent f418c383f3
2 changed files with 3 additions and 1 deletions
--- a/nbe.rkt
+++ b/nbe.rkt
@ -168,4 +168,4 @@
 (define (β-eq? a b)
  (equal? (normalize a) (normalize b)))

-(provide reify interp normalize β-eq? Term D V βη-eq?)
+(provide reify interp normalize β-eq? Term D D-ne V βη-eq? ext subst1 subst idsub-tm)
--- a/type-checker.rkt
+++ b/type-checker.rkt
@ -0,0 +1,2 @@
+#lang typed/racket
+(require "nbe.rkt")