From 94a286fe7dda3da86fc44bf29d923e8a16b38a60 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Wed, 23 Mar 2016 12:05:51 -0400 Subject: [PATCH] move old files to old dir --- notes.txt => old/notes.txt | 0 .../racket-extended-for-implementing-typed-langs.rkt | 0 stlc+define+cons-tests.rkt => old/stlc+define+cons-tests.rkt | 0 .../stlc+define+cons-via-racket-extended-tests.rkt | 0 .../stlc+define+cons-via-racket-extended.rkt | 0 stlc+define+cons.rkt => old/stlc+define+cons.rkt | 0 stlc-tests.rkt => old/stlc-tests.rkt | 0 stlc-via-racket-extended.rkt => old/stlc-via-racket-extended.rkt | 0 stlc.rkt => old/stlc.rkt | 0 stx-utils.rkt => old/stx-utils.rkt | 0 sysf-tests.rkt => old/sysf-tests.rkt | 0 sysf.rkt => old/sysf.rkt | 0 typecheck.rkt => old/typecheck.rkt | 0 13 files changed, 0 insertions(+), 0 deletions(-) rename notes.txt => old/notes.txt (100%) rename racket-extended-for-implementing-typed-langs.rkt => old/racket-extended-for-implementing-typed-langs.rkt (100%) rename stlc+define+cons-tests.rkt => old/stlc+define+cons-tests.rkt (100%) rename stlc+define+cons-via-racket-extended-tests.rkt => old/stlc+define+cons-via-racket-extended-tests.rkt (100%) rename stlc+define+cons-via-racket-extended.rkt => old/stlc+define+cons-via-racket-extended.rkt (100%) rename stlc+define+cons.rkt => old/stlc+define+cons.rkt (100%) rename stlc-tests.rkt => old/stlc-tests.rkt (100%) rename stlc-via-racket-extended.rkt => old/stlc-via-racket-extended.rkt (100%) rename stlc.rkt => old/stlc.rkt (100%) rename stx-utils.rkt => old/stx-utils.rkt (100%) rename sysf-tests.rkt => old/sysf-tests.rkt (100%) rename sysf.rkt => old/sysf.rkt (100%) rename typecheck.rkt => old/typecheck.rkt (100%) 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