miniMAL: step8.

9 files changed, 321 insertions, 160 deletions

diff --git a/miniMAL/core.json b/miniMAL/core.json
index a1549db..a5c44bd 100644
--- a/miniMAL/core.json
+++ b/miniMAL/core.json
@@ -7,6 +7,16 @@
     0,
     ["count", "a"]]]],
 
+["def", "_nth", ["fn", ["seq", "idx"],
+  ["if", [">=", "idx", ["count", "seq"]],
+    ["throw", "nth: index out of range"],
+    ["nth", "seq", "idx"]]]],
+
+["def", "_first", ["fn", ["seq"],
+  ["if", ["empty?", "seq"],
+    null,
+    ["first", "seq"]]]],
+
 ["def", "core-ns",
   ["hash-map",
    ["`", "="],  "equal?",
@@ -38,6 +48,9 @@
 
    ["`", "cons"], "cons",
    ["`", "concat"], "concat",
+   ["`", "nth"], "_nth",
+   ["`", "first"], "_first",
+   ["`", "rest"], ["fn", ["a"], ["rest", "a"]],
    ["`", "empty?"], "empty?",
    ["`", "count"],  "_count"]],
 
diff --git a/miniMAL/step2_eval.json b/miniMAL/step2_eval.json
index d4fd56d..f5cc113 100644
--- a/miniMAL/step2_eval.json
+++ b/miniMAL/step2_eval.json
@@ -20,11 +20,11 @@
 
 ["def", "EVAL", ["fn", ["ast", "env"],
   ["if", ["not", ["list?", "ast"]],
-    ["eval-ast", "ast", "env"],
-    ["let", ["el", ["eval-ast", "ast", "env"],
-             "f", ["first", "el"],
-             "args", ["rest", "el"]],
-      ["apply", "f", "args"]]]]],
+        ["eval-ast", "ast", "env"],
+        ["let", ["el", ["eval-ast", "ast", "env"],
+                 "f", ["first", "el"],
+                 "args", ["rest", "el"]],
+          ["apply", "f", "args"]]]]],
 
 ["def", "PRINT", ["fn", ["exp"],
   ["pr-str", "exp", true]]],
diff --git a/miniMAL/step3_env.json b/miniMAL/step3_env.json
index 9b45277..353c3dd 100644
--- a/miniMAL/step3_env.json
+++ b/miniMAL/step3_env.json
@@ -25,20 +25,20 @@
 
 ["def", "EVAL", ["fn", ["ast", "env"],
   ["if", ["not", ["list?", "ast"]],
-    ["eval-ast", "ast", "env"],
-    ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
-      ["if", ["=", ["`", "def!"], "a0"],
-        ["env-set", "env", ["nth", "ast", 1],
-                           ["EVAL", ["nth", "ast", 2], "env"]],
-      ["if", ["=", ["`", "let*"], "a0"],
-        ["let", ["let-env", ["env-new", "env"]],
-          ["do",
-            ["LET", "let-env", ["nth", "ast", 1]],
-            ["EVAL", ["nth", "ast", 2], "let-env"]]],
-        ["let", ["el", ["eval-ast", "ast", "env"],
-                 "f", ["first", "el"],
-                 "args", ["rest", "el"]],
-          ["apply", "f", "args"]]]]]]]],
+        ["eval-ast", "ast", "env"],
+        ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
+          ["if", ["=", ["`", "def!"], "a0"],
+            ["env-set", "env", ["nth", "ast", 1],
+                               ["EVAL", ["nth", "ast", 2], "env"]],
+          ["if", ["=", ["`", "let*"], "a0"],
+            ["let", ["let-env", ["env-new", "env"]],
+              ["do",
+                ["LET", "let-env", ["nth", "ast", 1]],
+                ["EVAL", ["nth", "ast", 2], "let-env"]]],
+            ["let", ["el", ["eval-ast", "ast", "env"],
+                     "f", ["first", "el"],
+                     "args", ["rest", "el"]],
+              ["apply", "f", "args"]]]]]]]],
 
 ["def", "PRINT", ["fn", ["exp"],
   ["pr-str", "exp", true]]],
diff --git a/miniMAL/step4_if_fn_do.json b/miniMAL/step4_if_fn_do.json
index 7998139..f80ae69 100644
--- a/miniMAL/step4_if_fn_do.json
+++ b/miniMAL/step4_if_fn_do.json
@@ -25,34 +25,34 @@
 
 ["def", "EVAL", ["fn", ["ast", "env"],
   ["if", ["not", ["list?", "ast"]],
-    ["eval-ast", "ast", "env"],
-    ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
-      ["if", ["=", ["`", "def!"], "a0"],
-        ["env-set", "env", ["nth", "ast", 1],
-                           ["EVAL", ["nth", "ast", 2], "env"]],
-      ["if", ["=", ["`", "let*"], "a0"],
-        ["let", ["let-env", ["env-new", "env"]],
-          ["do",
-            ["LET", "let-env", ["nth", "ast", 1]],
-            ["EVAL", ["nth", "ast", 2], "let-env"]]],
-      ["if", ["=", ["`", "do"], "a0"],
-        ["let", ["el", ["eval-ast", ["rest", "ast"], "env"]],
-          ["nth", "el", ["-", ["count", "el"], 1]]],
-      ["if", ["=", ["`", "if"], "a0"],
-        ["let", ["cond", ["EVAL", ["nth", "ast", 1], "env"]],
-          ["if", ["or", ["=", "cond", null], ["=", "cond", false]],
-            ["if", [">", ["count", "ast"], 3],
-              ["EVAL", ["nth", "ast", 3], "env"],
-              null],
-            ["EVAL", ["nth", "ast", 2], "env"]]],
-      ["if", ["=", ["`", "fn*"], "a0"],
-          ["fn", ["&", "args"],
-            ["let", ["e", ["env-new", "env", ["nth", "ast", 1], "args"]],
-              ["EVAL", ["nth", "ast", 2], "e"]]],
-        ["let", ["el", ["eval-ast", "ast", "env"],
-                 "f", ["first", "el"],
-                 "args", ["rest", "el"]],
-          ["apply", "f", "args"]]]]]]]]]]],
+        ["eval-ast", "ast", "env"],
+        ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
+          ["if", ["=", ["`", "def!"], "a0"],
+            ["env-set", "env", ["nth", "ast", 1],
+                               ["EVAL", ["nth", "ast", 2], "env"]],
+          ["if", ["=", ["`", "let*"], "a0"],
+            ["let", ["let-env", ["env-new", "env"]],
+              ["do",
+                ["LET", "let-env", ["nth", "ast", 1]],
+                ["EVAL", ["nth", "ast", 2], "let-env"]]],
+          ["if", ["=", ["`", "do"], "a0"],
+            ["let", ["el", ["eval-ast", ["rest", "ast"], "env"]],
+              ["nth", "el", ["-", ["count", "el"], 1]]],
+          ["if", ["=", ["`", "if"], "a0"],
+            ["let", ["cond", ["EVAL", ["nth", "ast", 1], "env"]],
+              ["if", ["or", ["=", "cond", null], ["=", "cond", false]],
+                ["if", [">", ["count", "ast"], 3],
+                  ["EVAL", ["nth", "ast", 3], "env"],
+                  null],
+                ["EVAL", ["nth", "ast", 2], "env"]]],
+          ["if", ["=", ["`", "fn*"], "a0"],
+              ["fn", ["&", "args"],
+                ["let", ["e", ["env-new", "env", ["nth", "ast", 1], "args"]],
+                  ["EVAL", ["nth", "ast", 2], "e"]]],
+            ["let", ["el", ["eval-ast", "ast", "env"],
+                     "f", ["first", "el"],
+                     "args", ["rest", "el"]],
+              ["apply", "f", "args"]]]]]]]]]]],
 
 ["def", "PRINT", ["fn", ["exp"],
   ["pr-str", "exp", true]]],
diff --git a/miniMAL/step5_tco.json b/miniMAL/step5_tco.json
index ced63e3..6f7e714 100644
--- a/miniMAL/step5_tco.json
+++ b/miniMAL/step5_tco.json
@@ -25,42 +25,42 @@
 
 ["def", "EVAL", ["fn", ["ast", "env"],
   ["if", ["not", ["list?", "ast"]],
-    ["eval-ast", "ast", "env"],
-    ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
-      ["if", ["=", ["`", "def!"], "a0"],
-        ["env-set", "env", ["nth", "ast", 1],
-                           ["EVAL", ["nth", "ast", 2], "env"]],
-      ["if", ["=", ["`", "let*"], "a0"],
-        ["let", ["let-env", ["env-new", "env"]],
-          ["do",
-            ["LET", "let-env", ["nth", "ast", 1]],
-            ["EVAL", ["nth", "ast", 2], "let-env"]]],
-      ["if", ["=", ["`", "do"], "a0"],
-        ["do",
-          ["eval-ast", ["slice", "ast", 1, ["-", ["count", "ast"], 1]], "env"],
-          ["EVAL", ["nth", "ast", ["-", ["count", "ast"], 1]], "env"]],
-      ["if", ["=", ["`", "if"], "a0"],
-        ["let", ["cond", ["EVAL", ["nth", "ast", 1], "env"]],
-          ["if", ["or", ["=", "cond", null], ["=", "cond", false]],
-            ["if", [">", ["count", "ast"], 3],
-              ["EVAL", ["nth", "ast", 3], "env"],
-              null],
-            ["EVAL", ["nth", "ast", 2], "env"]]],
-      ["if", ["=", ["`", "fn*"], "a0"],
-        ["malfunc",
-          ["fn", ["&", "args"],
-            ["let", ["e", ["env-new", "env", ["nth", "ast", 1], "args"]],
-              ["EVAL", ["nth", "ast", 2], "e"]]],
-          ["nth", "ast", 2], "env", ["nth", "ast", 1]],
-        ["let", ["el", ["eval-ast", "ast", "env"],
-                 "f", ["first", "el"],
-                 "args", ["rest", "el"]],
-          ["if", ["malfunc?", "f"],
-            ["EVAL", ["get", "f", ["`", "ast"]],
-                     ["env-new", ["get", "f", ["`", "env"]],
-                                 ["get", "f", ["`", "params"]],
-                                 "args"]],
-            ["apply", "f", "args"]]]]]]]]]]]],
+        ["eval-ast", "ast", "env"],
+        ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
+          ["if", ["=", ["`", "def!"], "a0"],
+            ["env-set", "env", ["nth", "ast", 1],
+                               ["EVAL", ["nth", "ast", 2], "env"]],
+          ["if", ["=", ["`", "let*"], "a0"],
+            ["let", ["let-env", ["env-new", "env"]],
+              ["do",
+                ["LET", "let-env", ["nth", "ast", 1]],
+                ["EVAL", ["nth", "ast", 2], "let-env"]]],
+          ["if", ["=", ["`", "do"], "a0"],
+            ["do",
+              ["eval-ast", ["slice", "ast", 1, ["-", ["count", "ast"], 1]], "env"],
+              ["EVAL", ["nth", "ast", ["-", ["count", "ast"], 1]], "env"]],
+          ["if", ["=", ["`", "if"], "a0"],
+            ["let", ["cond", ["EVAL", ["nth", "ast", 1], "env"]],
+              ["if", ["or", ["=", "cond", null], ["=", "cond", false]],
+                ["if", [">", ["count", "ast"], 3],
+                  ["EVAL", ["nth", "ast", 3], "env"],
+                  null],
+                ["EVAL", ["nth", "ast", 2], "env"]]],
+          ["if", ["=", ["`", "fn*"], "a0"],
+            ["malfunc",
+              ["fn", ["&", "args"],
+                ["let", ["e", ["env-new", "env", ["nth", "ast", 1], "args"]],
+                  ["EVAL", ["nth", "ast", 2], "e"]]],
+              ["nth", "ast", 2], "env", ["nth", "ast", 1]],
+            ["let", ["el", ["eval-ast", "ast", "env"],
+                     "f", ["first", "el"],
+                     "args", ["rest", "el"]],
+              ["if", ["malfunc?", "f"],
+                ["EVAL", ["get", "f", ["`", "ast"]],
+                         ["env-new", ["get", "f", ["`", "env"]],
+                                     ["get", "f", ["`", "params"]],
+                                     "args"]],
+                ["apply", "f", "args"]]]]]]]]]]]],
 
 ["def", "PRINT", ["fn", ["exp"],
   ["pr-str", "exp", true]]],
diff --git a/miniMAL/step6_file.json b/miniMAL/step6_file.json
index 39993c0..d85a981 100644
--- a/miniMAL/step6_file.json
+++ b/miniMAL/step6_file.json
@@ -25,42 +25,42 @@
 
 ["def", "EVAL", ["fn", ["ast", "env"],
   ["if", ["not", ["list?", "ast"]],
-    ["eval-ast", "ast", "env"],
-    ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
-      ["if", ["=", ["`", "def!"], "a0"],
-        ["env-set", "env", ["nth", "ast", 1],
-                           ["EVAL", ["nth", "ast", 2], "env"]],
-      ["if", ["=", ["`", "let*"], "a0"],
-        ["let", ["let-env", ["env-new", "env"]],
-          ["do",
-            ["LET", "let-env", ["nth", "ast", 1]],
-            ["EVAL", ["nth", "ast", 2], "let-env"]]],
-      ["if", ["=", ["`", "do"], "a0"],
-        ["do",
-          ["eval-ast", ["slice", "ast", 1, ["-", ["count", "ast"], 1]], "env"],
-          ["EVAL", ["nth", "ast", ["-", ["count", "ast"], 1]], "env"]],
-      ["if", ["=", ["`", "if"], "a0"],
-        ["let", ["cond", ["EVAL", ["nth", "ast", 1], "env"]],
-          ["if", ["or", ["=", "cond", null], ["=", "cond", false]],
-            ["if", [">", ["count", "ast"], 3],
-              ["EVAL", ["nth", "ast", 3], "env"],
-              null],
-            ["EVAL", ["nth", "ast", 2], "env"]]],
-      ["if", ["=", ["`", "fn*"], "a0"],
-        ["malfunc",
-          ["fn", ["&", "args"],
-            ["let", ["e", ["env-new", "env", ["nth", "ast", 1], "args"]],
-              ["EVAL", ["nth", "ast", 2], "e"]]],
-          ["nth", "ast", 2], "env", ["nth", "ast", 1]],
-        ["let", ["el", ["eval-ast", "ast", "env"],
-                 "f", ["first", "el"],
-                 "args", ["rest", "el"]],
-          ["if", ["malfunc?", "f"],
-            ["EVAL", ["get", "f", ["`", "ast"]],
-                     ["env-new", ["get", "f", ["`", "env"]],
-                                 ["get", "f", ["`", "params"]],
-                                 "args"]],
-            ["apply", "f", "args"]]]]]]]]]]]],
+        ["eval-ast", "ast", "env"],
+        ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
+          ["if", ["=", ["`", "def!"], "a0"],
+            ["env-set", "env", ["nth", "ast", 1],
+                               ["EVAL", ["nth", "ast", 2], "env"]],
+          ["if", ["=", ["`", "let*"], "a0"],
+            ["let", ["let-env", ["env-new", "env"]],
+              ["do",
+                ["LET", "let-env", ["nth", "ast", 1]],
+                ["EVAL", ["nth", "ast", 2], "let-env"]]],
+          ["if", ["=", ["`", "do"], "a0"],
+            ["do",
+              ["eval-ast", ["slice", "ast", 1, ["-", ["count", "ast"], 1]], "env"],
+              ["EVAL", ["nth", "ast", ["-", ["count", "ast"], 1]], "env"]],
+          ["if", ["=", ["`", "if"], "a0"],
+            ["let", ["cond", ["EVAL", ["nth", "ast", 1], "env"]],
+              ["if", ["or", ["=", "cond", null], ["=", "cond", false]],
+                ["if", [">", ["count", "ast"], 3],
+                  ["EVAL", ["nth", "ast", 3], "env"],
+                  null],
+                ["EVAL", ["nth", "ast", 2], "env"]]],
+          ["if", ["=", ["`", "fn*"], "a0"],
+            ["malfunc",
+              ["fn", ["&", "args"],
+                ["let", ["e", ["env-new", "env", ["nth", "ast", 1], "args"]],
+                  ["EVAL", ["nth", "ast", 2], "e"]]],
+              ["nth", "ast", 2], "env", ["nth", "ast", 1]],
+            ["let", ["el", ["eval-ast", "ast", "env"],
+                     "f", ["first", "el"],
+                     "args", ["rest", "el"]],
+              ["if", ["malfunc?", "f"],
+                ["EVAL", ["get", "f", ["`", "ast"]],
+                         ["env-new", ["get", "f", ["`", "env"]],
+                                     ["get", "f", ["`", "params"]],
+                                     "args"]],
+                ["apply", "f", "args"]]]]]]]]]]]],
 
 ["def", "PRINT", ["fn", ["exp"],
   ["pr-str", "exp", true]]],
diff --git a/miniMAL/step7_quote.json b/miniMAL/step7_quote.json
index 5cd0afa..915dc11 100644
--- a/miniMAL/step7_quote.json
+++ b/miniMAL/step7_quote.json
@@ -45,46 +45,46 @@
 
 ["def", "EVAL", ["fn", ["ast", "env"],
   ["if", ["not", ["list?", "ast"]],
-    ["eval-ast", "ast", "env"],
-    ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
-      ["if", ["=", ["`", "def!"], "a0"],
-        ["env-set", "env", ["nth", "ast", 1],
-                           ["EVAL", ["nth", "ast", 2], "env"]],
-      ["if", ["=", ["`", "let*"], "a0"],
-        ["let", ["let-env", ["env-new", "env"]],
-          ["do",
-            ["LET", "let-env", ["nth", "ast", 1]],
-            ["EVAL", ["nth", "ast", 2], "let-env"]]],
-      ["if", ["=", ["`", "quote"], "a0"],
-        ["nth", "ast", 1],
-      ["if", ["=", ["`", "quasiquote"], "a0"],
-        ["EVAL", ["quasiquote", ["nth", "ast", 1]], "env"],
-      ["if", ["=", ["`", "do"], "a0"],
-        ["do",
-          ["eval-ast", ["slice", "ast", 1, ["-", ["count", "ast"], 1]], "env"],
-          ["EVAL", ["nth", "ast", ["-", ["count", "ast"], 1]], "env"]],
-      ["if", ["=", ["`", "if"], "a0"],
-        ["let", ["cond", ["EVAL", ["nth", "ast", 1], "env"]],
-          ["if", ["or", ["=", "cond", null], ["=", "cond", false]],
-            ["if", [">", ["count", "ast"], 3],
-              ["EVAL", ["nth", "ast", 3], "env"],
-              null],
-            ["EVAL", ["nth", "ast", 2], "env"]]],
-      ["if", ["=", ["`", "fn*"], "a0"],
-        ["malfunc",
-          ["fn", ["&", "args"],
-            ["let", ["e", ["env-new", "env", ["nth", "ast", 1], "args"]],
-              ["EVAL", ["nth", "ast", 2], "e"]]],
-          ["nth", "ast", 2], "env", ["nth", "ast", 1]],
-        ["let", ["el", ["eval-ast", "ast", "env"],
-                 "f", ["first", "el"],
-                 "args", ["rest", "el"]],
-          ["if", ["malfunc?", "f"],
-            ["EVAL", ["get", "f", ["`", "ast"]],
-                     ["env-new", ["get", "f", ["`", "env"]],
-                                 ["get", "f", ["`", "params"]],
-                                 "args"]],
-            ["apply", "f", "args"]]]]]]]]]]]]]],
+        ["eval-ast", "ast", "env"],
+        ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
+          ["if", ["=", ["`", "def!"], "a0"],
+            ["env-set", "env", ["nth", "ast", 1],
+                               ["EVAL", ["nth", "ast", 2], "env"]],
+          ["if", ["=", ["`", "let*"], "a0"],
+            ["let", ["let-env", ["env-new", "env"]],
+              ["do",
+                ["LET", "let-env", ["nth", "ast", 1]],
+                ["EVAL", ["nth", "ast", 2], "let-env"]]],
+          ["if", ["=", ["`", "quote"], "a0"],
+            ["nth", "ast", 1],
+          ["if", ["=", ["`", "quasiquote"], "a0"],
+            ["EVAL", ["quasiquote", ["nth", "ast", 1]], "env"],
+          ["if", ["=", ["`", "do"], "a0"],
+            ["do",
+              ["eval-ast", ["slice", "ast", 1, ["-", ["count", "ast"], 1]], "env"],
+              ["EVAL", ["nth", "ast", ["-", ["count", "ast"], 1]], "env"]],
+          ["if", ["=", ["`", "if"], "a0"],
+            ["let", ["cond", ["EVAL", ["nth", "ast", 1], "env"]],
+              ["if", ["or", ["=", "cond", null], ["=", "cond", false]],
+                ["if", [">", ["count", "ast"], 3],
+                  ["EVAL", ["nth", "ast", 3], "env"],
+                  null],
+                ["EVAL", ["nth", "ast", 2], "env"]]],
+          ["if", ["=", ["`", "fn*"], "a0"],
+            ["malfunc",
+              ["fn", ["&", "args"],
+                ["let", ["e", ["env-new", "env", ["nth", "ast", 1], "args"]],
+                  ["EVAL", ["nth", "ast", 2], "e"]]],
+              ["nth", "ast", 2], "env", ["nth", "ast", 1]],
+            ["let", ["el", ["eval-ast", "ast", "env"],
+                     "f", ["first", "el"],
+                     "args", ["rest", "el"]],
+              ["if", ["malfunc?", "f"],
+                ["EVAL", ["get", "f", ["`", "ast"]],
+                         ["env-new", ["get", "f", ["`", "env"]],
+                                     ["get", "f", ["`", "params"]],
+                                     "args"]],
+                ["apply", "f", "args"]]]]]]]]]]]]]],
 
 ["def", "PRINT", ["fn", ["exp"],
   ["pr-str", "exp", true]]],
diff --git a/miniMAL/step8_macros.json b/miniMAL/step8_macros.json
new file mode 100644
index 0000000..dad6030
--- /dev/null
+++ b/miniMAL/step8_macros.json
@@ -0,0 +1,147 @@
+["do",
+
+["load-file", ["`", "miniMAL-core.json"]],
+["load-file", ["`", "types.json"]],
+["load-file", ["`", "reader.json"]],
+["load-file", ["`", "printer.json"]],
+["load-file", ["`", "env.json"]],
+["load-file", ["`", "core.json"]],
+
+["def", "READ", ["fn", ["strng"], ["read-str", "strng"]]],
+
+["def", "pair?", ["fn", ["x"],
+  ["if", ["list?", "x"],
+    ["if", [">", ["count", "x"], 0], true, false],
+    false]]],
+
+["def", "quasiquote", ["fn", ["ast"],
+  ["if", ["not", ["pair?", "ast"]],
+    ["list", ["symbol", ["`", "quote"]], "ast"],
+  ["if", ["=", ["`", "unquote"], ["get", ["nth", "ast", 0], ["`", "val"]]],
+    ["nth", "ast", 1],
+  ["if", ["and", ["pair?", ["nth", "ast", 0]],
+                 ["=", ["`", "splice-unquote"],
+                       ["get", ["nth", ["nth", "ast", 0], 0], ["`", "val"]]]],
+    ["list", ["symbol", ["`", "concat"]],
+             ["nth", ["nth", "ast", 0], 1],
+             ["quasiquote", ["rest", "ast"]]],
+    ["list", ["symbol", ["`", "cons"]],
+             ["quasiquote", ["nth", "ast", 0]],
+             ["quasiquote", ["rest", "ast"]]]]]]]],
+
+["def", "macro?", ["fn", ["ast", "env"],
+  ["and", ["list?", "ast"],
+          ["symbol?", ["first", "ast"]],
+          ["not", ["=", null, ["env-find", "env", ["first", "ast"]]]],
+          ["let", ["fn", ["env-get", "env", ["first", "ast"]]],
+            ["and", ["malfunc?", "fn"],
+                    ["get", "fn", ["`", "macro?"]]]]]]],
+
+["def", "macroexpand", ["fn", ["ast", "env"],
+  ["if", ["macro?", "ast", "env"],
+    ["let", ["mac", ["get", ["env-get", "env", ["first", "ast"]], ["`", "fn"]]],
+      ["macroexpand", ["apply", "mac", ["rest", "ast"]], "env"]],
+    "ast"]]],
+
+["def", "eval-ast", ["fn", ["ast", "env"],
+  ["if", ["symbol?", "ast"],
+    ["env-get", "env", "ast"],
+  ["if", ["list?", "ast"],
+    ["map", ["fn", ["x"], ["EVAL", "x", "env"]], "ast"],
+  "ast"]]]],
+
+["def", "LET", ["fn", ["env", "args"],
+  ["if", [">", ["count", "args"], 0],
+    ["do",
+      ["env-set", "env", ["nth", "args", 0],
+                         ["EVAL", ["nth", "args", 1], "env"]],
+      ["LET", "env", ["rest", ["rest", "args"]]]]]]],
+
+["def", "EVAL", ["fn", ["ast", "env"],
+  ["if", ["not", ["list?", "ast"]],
+    ["eval-ast", "ast", "env"],
+    ["let", ["ast", ["macroexpand", "ast", "env"]],
+      ["if", ["not", ["list?", "ast"]],
+        "ast",
+        ["let", ["a0", ["get", ["first", "ast"], ["`", "val"]]],
+          ["if", ["=", ["`", "def!"], "a0"],
+            ["env-set", "env", ["nth", "ast", 1],
+                               ["EVAL", ["nth", "ast", 2], "env"]],
+          ["if", ["=", ["`", "let*"], "a0"],
+            ["let", ["let-env", ["env-new", "env"]],
+              ["do",
+                ["LET", "let-env", ["nth", "ast", 1]],
+                ["EVAL", ["nth", "ast", 2], "let-env"]]],
+          ["if", ["=", ["`", "quote"], "a0"],
+            ["nth", "ast", 1],
+          ["if", ["=", ["`", "quasiquote"], "a0"],
+            ["EVAL", ["quasiquote", ["nth", "ast", 1]], "env"],
+          ["if", ["=", ["`", "defmacro!"], "a0"],
+            ["let", ["func", ["EVAL", ["nth", "ast", 2], "env"]],
+              ["do",
+                ["set", "func", ["`", "macro?"], true],
+                ["env-set", "env", ["nth", "ast", 1], "func"]]],
+          ["if", ["=", ["`", "macroexpand"], "a0"],
+            ["macroexpand", ["nth", "ast", 1], "env"],
+          ["if", ["=", ["`", "do"], "a0"],
+            ["do",
+              ["eval-ast", ["slice", "ast", 1, ["-", ["count", "ast"], 1]], "env"],
+              ["EVAL", ["nth", "ast", ["-", ["count", "ast"], 1]], "env"]],
+          ["if", ["=", ["`", "if"], "a0"],
+            ["let", ["cond", ["EVAL", ["nth", "ast", 1], "env"]],
+              ["if", ["or", ["=", "cond", null], ["=", "cond", false]],
+                ["if", [">", ["count", "ast"], 3],
+                  ["EVAL", ["nth", "ast", 3], "env"],
+                  null],
+                ["EVAL", ["nth", "ast", 2], "env"]]],
+          ["if", ["=", ["`", "fn*"], "a0"],
+            ["malfunc",
+              ["fn", ["&", "args"],
+                ["let", ["e", ["env-new", "env", ["nth", "ast", 1], "args"]],
+                  ["EVAL", ["nth", "ast", 2], "e"]]],
+              ["nth", "ast", 2], "env", ["nth", "ast", 1]],
+            ["let", ["el", ["eval-ast", "ast", "env"],
+                     "f", ["first", "el"],
+                     "args", ["rest", "el"]],
+              ["if", ["malfunc?", "f"],
+                ["EVAL", ["get", "f", ["`", "ast"]],
+                         ["env-new", ["get", "f", ["`", "env"]],
+                                     ["get", "f", ["`", "params"]],
+                                     "args"]],
+                ["apply", "f", "args"]]]]]]]]]]]]]]]]]],
+
+["def", "PRINT", ["fn", ["exp"],
+  ["pr-str", "exp", true]]],
+
+
+["def", "repl-env", ["env-new"]],
+
+["def", "rep", ["fn", ["strng"],
+  ["try",
+    ["PRINT", ["EVAL", ["READ", "strng"], "repl-env"]],
+    ["catch", "exc",
+      ["str", ["`", "Error: "], [".", "exc", ["`", "toString"]]]]]]],
+
+["`", "core.mal: defined using miniMAL"],
+["map", ["fn", ["k"], ["env-set", "repl-env",
+                                  ["symbol", "k"],
+                                  ["get", "core-ns", "k"]]],
+        ["keys", "core-ns"]],
+["env-set", "repl-env", ["symbol", ["`", "eval"]],
+                        ["fn", ["ast"], ["EVAL", "ast", "repl-env"]]],
+["env-set", "repl-env", ["symbol", ["`", "*ARGV*"]],
+                        ["slice", "*ARGV*", 1]],
+
+["`", "core.mal: defined using mal itself"],
+["rep", ["`", "(def! not (fn* (a) (if a false true)))"]],
+["rep", ["`", "(def! load-file (fn* (f) (eval (read-string (str \"(do \" (slurp f) \")\")))))"]],
+["rep", ["`", "(defmacro! cond (fn* (& xs) (if (> (count xs) 0) (list 'if (first xs) (if (> (count xs) 1) (nth xs 1) (throw \"odd number of forms to cond\")) (cons 'cond (rest (rest xs)))))))"]],
+["rep", ["`", "(defmacro! or (fn* (& xs) (if (empty? xs) nil (if (= 1 (count xs)) (first xs) `(let* (or_FIXME ~(first xs)) (if or_FIXME or_FIXME (or ~@(rest xs))))))))"]],
+
+["if", ["not", ["empty?", "*ARGV*"]],
+  ["rep", ["str", ["`", "(load-file \""], ["get", "*ARGV*", 0], ["`", "\")"]]],
+  ["repl", ["`", "user> "], "rep"]],
+
+null
+
+]
diff --git a/miniMAL/types.json b/miniMAL/types.json
index 2af650d..0b97db2 100644
--- a/miniMAL/types.json
+++ b/miniMAL/types.json
@@ -34,7 +34,8 @@
                ["`", "fn"], "fn",
                ["`", "ast"], "ast",
                ["`", "env"], "env",
-               ["`", "params"], "params"]]],
+               ["`", "params"], "params",
+               ["`", "macro?"], false]]],
 
 ["def", "malfunc?", ["fn", ["obj"],
   ["if", ["=", "obj", null],