["do",

["load", ["`", "miniMAL-core.json"]],
["load", ["`", "types.json"]],
["load", ["`", "reader.json"]],
["load", ["`", "printer.json"]],

["def", "READ", ["fn", ["strng"],
  ["read-str", "strng"]]],

["def", "EVAL", ["fn", ["ast", "env"],
  "ast"]],

["def", "PRINT", ["fn", ["exp"],
  ["pr-str", "exp", true]]],

["def", "rep", ["fn", ["strng"],
  ["try",
    ["PRINT", ["EVAL", ["READ", "strng"], null]],
    ["catch", "exc",
      ["str", ["`", "Error: "], "exc"]]]]],

["repl", ["`", "user> "], "rep"],

null

]