diff --git a/notes.txt b/old/notes.txt
similarity index 100%
rename from notes.txt
rename to old/notes.txt
diff --git a/racket-extended-for-implementing-typed-langs.rkt b/old/racket-extended-for-implementing-typed-langs.rkt
similarity index 100%
rename from racket-extended-for-implementing-typed-langs.rkt
rename to old/racket-extended-for-implementing-typed-langs.rkt
diff --git a/stlc+define+cons-tests.rkt b/old/stlc+define+cons-tests.rkt
similarity index 100%
rename from stlc+define+cons-tests.rkt
rename to old/stlc+define+cons-tests.rkt
diff --git a/stlc+define+cons-via-racket-extended-tests.rkt b/old/stlc+define+cons-via-racket-extended-tests.rkt
similarity index 100%
rename from stlc+define+cons-via-racket-extended-tests.rkt
rename to old/stlc+define+cons-via-racket-extended-tests.rkt
diff --git a/stlc+define+cons-via-racket-extended.rkt b/old/stlc+define+cons-via-racket-extended.rkt
similarity index 100%
rename from stlc+define+cons-via-racket-extended.rkt
rename to old/stlc+define+cons-via-racket-extended.rkt
diff --git a/stlc+define+cons.rkt b/old/stlc+define+cons.rkt
similarity index 100%
rename from stlc+define+cons.rkt
rename to old/stlc+define+cons.rkt
diff --git a/stlc-tests.rkt b/old/stlc-tests.rkt
similarity index 100%
rename from stlc-tests.rkt
rename to old/stlc-tests.rkt
diff --git a/stlc-via-racket-extended.rkt b/old/stlc-via-racket-extended.rkt
similarity index 100%
rename from stlc-via-racket-extended.rkt
rename to old/stlc-via-racket-extended.rkt
diff --git a/stlc.rkt b/old/stlc.rkt
similarity index 100%
rename from stlc.rkt
rename to old/stlc.rkt
diff --git a/stx-utils.rkt b/old/stx-utils.rkt
similarity index 100%
rename from stx-utils.rkt
rename to old/stx-utils.rkt
diff --git a/sysf-tests.rkt b/old/sysf-tests.rkt
similarity index 100%
rename from sysf-tests.rkt
rename to old/sysf-tests.rkt
diff --git a/sysf.rkt b/old/sysf.rkt
similarity index 100%
rename from sysf.rkt
rename to old/sysf.rkt
diff --git a/typecheck.rkt b/old/typecheck.rkt
similarity index 100%
rename from typecheck.rkt
rename to old/typecheck.rkt