From ad19de6be6b9a9d620d94e3f162dcee1bfda2cf7 Mon Sep 17 00:00:00 2001 From: JJ Date: Wed, 23 Oct 2024 18:10:03 -0700 Subject: restructure code, put implementations into broadly categorical folders --- tests/stlc.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/stlc.rkt') diff --git a/tests/stlc.rkt b/tests/stlc.rkt index cfec36f..f387999 100644 --- a/tests/stlc.rkt +++ b/tests/stlc.rkt @@ -1,6 +1,6 @@ #lang racket (require (except-in rackunit check)) -(require "../stlc.rkt") +(require "../simple/stlc.rkt") (check-equal? (interpret '(λ (x : Foo) x)) '(λ x x #hash())) (check-equal? (interpret '((λ (a : Bar) a) (x y))) '(x y)) -- cgit v1.2.3-70-g09d2