diff options
author | Jed Barber <jjbarber@y7mail.com> | 2014-12-06 01:05:25 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2014-12-06 01:05:25 +1100 |
commit | ef7ed9cc9292554a90e644c92533cfc0e2a50896 (patch) | |
tree | 591770fc744b7797cba17cdd8be84d6aed62e1dc | |
parent | d3a9803cf89ea94975934dd8abb18bbc12408a7e (diff) |
Moving old code out of the way; to be deleted after rewrite
-rw-r--r-- | src/Grasp/Interpreter.hs.old (renamed from src/Grasp/Interpreter.hs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/Grasp/Interpreter.hs b/src/Grasp/Interpreter.hs.old index e7a36c9..e7a36c9 100644 --- a/src/Grasp/Interpreter.hs +++ b/src/Grasp/Interpreter.hs.old |