From 2796cba6fb881880c58cf28aecc441d887bc150e Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Tue, 15 Sep 2015 18:58:32 -0400
Subject: [PATCH] Moved all examples to own sub-directory

---
 example.rkt => examples/example.rkt                |  4 ++--
 .../proofs-for-free.rkt                            |  6 +++---
 stlc.rkt => examples/stlc.rkt                      | 14 +++++++-------
 3 files changed, 12 insertions(+), 12 deletions(-)
 rename example.rkt => examples/example.rkt (99%)
 rename proofs-for-free.rkt => examples/proofs-for-free.rkt (98%)
 rename stlc.rkt => examples/stlc.rkt (96%)

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)