diff options
Diffstat (limited to 'stlc-dll.rkt')
-rw-r--r-- | stlc-dll.rkt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stlc-dll.rkt b/stlc-dll.rkt index 8b447c1..81bab7b 100644 --- a/stlc-dll.rkt +++ b/stlc-dll.rkt @@ -1,6 +1,7 @@ #lang racket (require "lib.rkt") (require (only-in "stlc-rec.rkt" replace)) +(require (only-in "stlc-ext.rkt" expand)) ;; The Simply-Typed Lambda Calculus with higher-order *impredicative* references, ;; plus sums products booleans ascryption etc, to implement doubly-linked lists |