diff --git a/example.rkt b/examples/example.rkt
similarity index 99%
rename from example.rkt
rename to examples/example.rkt
index 540c334..3ba9f22 100644
--- a/example.rkt
+++ b/examples/example.rkt
@@ -1,11 +1,11 @@
-#lang s-exp "cur.rkt"
+#lang s-exp "../cur.rkt"
 
 ;; Use racket libraries over your dependently typed code!?!?
 ;; TODO: actually, I'm not sure this should work quite as well as it
 ;; seems to with check-equal?
 (require rackunit)
 (require
-  (only-in "cur.rkt"
+  (only-in "../cur.rkt"
     [#%app real-app]
     [define real-define]))
 
diff --git a/proofs-for-free.rkt b/examples/proofs-for-free.rkt
similarity index 98%
rename from proofs-for-free.rkt
rename to examples/proofs-for-free.rkt
index 843adf2..5d0eacc 100644
--- a/proofs-for-free.rkt
+++ b/examples/proofs-for-free.rkt
@@ -1,7 +1,7 @@
-#lang s-exp "cur.rkt"
+#lang s-exp "../cur.rkt"
 (require
-  "stdlib/sugar.rkt"
-  "stdlib/prop.rkt"
+  "../stdlib/sugar.rkt"
+  "../stdlib/prop.rkt"
   racket/trace
   (for-syntax racket/syntax))
 
diff --git a/stlc.rkt b/examples/stlc.rkt
similarity index 96%
rename from stlc.rkt
rename to examples/stlc.rkt
index cc36e84..69678a1 100644
--- a/stlc.rkt
+++ b/examples/stlc.rkt
@@ -1,11 +1,11 @@
-#lang s-exp "cur.rkt"
+#lang s-exp "../cur.rkt"
 (require
-  "stdlib/nat.rkt"
-  "stdlib/sugar.rkt"
-  "oll.rkt"
-  "stdlib/maybe.rkt"
-  "stdlib/bool.rkt"
-  "stdlib/prop.rkt")
+  "../stdlib/nat.rkt"
+  "../stdlib/sugar.rkt"
+  "../oll.rkt"
+  "../stdlib/maybe.rkt"
+  "../stdlib/bool.rkt"
+  "../stdlib/prop.rkt")
 
 (define-language stlc
   #:vars (x)