Move template to top level. Add license.

Also, cleanup TODO a bit.

13 files changed, 1 insertions, 905 deletions

diff --git a/docs/TODO b/docs/TODO
index b29f5b1..4650d09 100644
--- a/docs/TODO
+++ b/docs/TODO
@@ -1,16 +1,13 @@
 All:
-    * keyword type (with hash-map key support)
-    * Move *host-language* from step9 to stepA
     - change perf test to run for 10 seconds and then calculate number
       of iterations per second
     - redefine (defmacro!) as (def! (macro*))
     - runtest expect fixes:
         - stop using expect, so we can drop --raw option
         - fix long lines in runtext/expect
-    - add license file
     - add re (use in rep) everywhere and use that (to avoid printing)
     - move conj and sequential? to core.mal
-    - Implement/fix interop: C#, Java, Mal, PHP, Postscript, Ruby
+    - Implement/fix interop
     - regular expression matching in runtest
     - Print full exception when test gets EOF from expect
 
@@ -66,8 +63,6 @@ Javascript:
     - interop: callbacks using Mal functions
 
 Make:
-    * large number handling (move away from peano)
-        * then fix time-ms/perf.mal
     - allow '_' in make variable names
     - hash-map with space in key string
     - Fix: make -f stepA_interop.mk ../mal/step6_file.mal
@@ -95,33 +90,12 @@ Python:
     - python3 compatibility
 
 R:
-    - Links:
-        - https://stat.ethz.ch/R-manual/R-devel/library/base/html/readline.html
-        - http://dssm.unipa.it/CRAN/web/packages/rdyncall/rdyncall.pdf
-        - http://www.dyncall.org/docs/FFI.pdf
     - tracebacks in errors
     - fix running from different directory
 
 Ruby:
 
 Rust:
-    - Links:
-        - http://doc.rust-lang.org/index.html
-        - http://doc.rust-lang.org/intro.html
-        - http://doc.rust-lang.org/guide.html
-        - http://rustbyexample.com/index.html
-        - http://www.rustforrubyists.com/book/index.html
-        - http://pzol.github.io/getting_rusty/
-
-        - http://featherweightmusings.blogspot.com/2014/05/rust-for-c-programmers-part-6-rc-gc-and.html
-        - http://pzol.github.io/getting_rusty/posts/20140417_destructuring_in_rust/ (destructuring)
-        - http://featherweightmusings.blogspot.com/2014/07/rust-for-c-programmers-part-8.html (destructuring)
-        - http://featherweightmusings.blogspot.co.nz/2014/07/rust-for-c-programmers-part-9.html (destructuruing and matching)
-        - http://blog.thiago.me/notes-about-rust-modules/
-        - http://doc.rust-lang.org/std/io/io
-        - https://github.com/shaleh/rust-readline/blob/master/src/lib.rs
-        - http://stackoverflow.com/questions/23942627/does-rust-0-10-have-a-rl-package
-        - http://blog.skylight.io/rust-means-never-having-to-close-a-socket/
     - use built-in regex once fixed:
         https://github.com/rust-lang/rust/issues/18034
         https://github.com/rust-lang/rust/issues/18035
@@ -130,14 +104,9 @@ Racket
     - metadata on collections
 
 Scala
-    - aptitude install scala
-    - http://learnxinyminutes.com/docs/scala/
     - readline
 
 VB.Net
-    - aptitude install mono-vbnc
-    - http://www.codeproject.com/Articles/9978/Complete-Comparison-for-VB-NET-and-C
-    - http://msdn.microsoft.com/en-us/library/8hb2a397.aspx
     - convert readline.cs to readline.vb
 
 
diff --git a/docs/steps/step0_repl.txt b/docs/steps/step0_repl.txt
deleted file mode 100644
index db31e58..0000000
--- a/docs/steps/step0_repl.txt
+++ /dev/null
@@ -1,11 +0,0 @@
---- step0_repl ----------------------------------
-READ(str): return str
-
-EVAL(ast,any): return ast
-
-PRINT(exp): return exp
-
-rep(str): return PRINT(EVAL(READ(str),""))
-
-main loop: println(rep(readline("user> ")))
-
diff --git a/docs/steps/step1_read_print.txt b/docs/steps/step1_read_print.txt
deleted file mode 100644
index 3a0fd7c..0000000
--- a/docs/steps/step1_read_print.txt
+++ /dev/null
@@ -1,14 +0,0 @@
---- step1_read_print ----------------------------
-import reader, printer
-
-READ(str): return reader.read_str(str)
-
-EVAL(ast,env): return ast
-
-PRINT(exp): return printer.pr_str(exp)
-
-rep(str): return PRINT(EVAL(READ(str),""))
-
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
diff --git a/docs/steps/step2_eval.txt b/docs/steps/step2_eval.txt
deleted file mode 100644
index beb5500..0000000
--- a/docs/steps/step2_eval.txt
+++ /dev/null
@@ -1,25 +0,0 @@
---- step2_eval ----------------------------------
-import types, reader, printer
-
-READ(str): return reader.read_str(str)
-
-eval_ast(ast,env):
-  switch type(ast):
-    symbol:      return lookup(env, ast) OR raise "'" + ast + "' not found"
-    list,vector: return ast.map((x) -> EVAL(x,env))
-    hash:        return ast.map((k,v) -> list(k, EVAL(v,env)))
-    _default_:   return ast
-
-EVAL(ast,env):
-    if not list?(ast): return eval_ast(ast, env)
-    f, args = eval_ast(ast, env)
-    return apply(f, args)
-
-PRINT(exp): return printer.pr_str(exp)
-
-repl_env = {'+: add_fn, ...}
-rep(str): return PRINT(EVAL(READ(str),repl_env))
-
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
diff --git a/docs/steps/step3_env.txt b/docs/steps/step3_env.txt
deleted file mode 100644
index a1de572..0000000
--- a/docs/steps/step3_env.txt
+++ /dev/null
@@ -1,38 +0,0 @@
---- step3_env -----------------------------------
-import types, reader, printer, env
-
-READ(str): return reader.read_str(str)
-
-eval_ast(ast,env):
-  switch type(ast):
-    symbol:      return env.get(ast)
-    list,vector: return ast.map((x) -> EVAL(x,env))
-    hash:        return ast.map((k,v) -> list(k, EVAL(v,env)))
-    _default_:   return ast
-
-EVAL(ast,env):
-    if not list?(ast): return eval_ast(ast, env)
-    switch ast[0]:
-      'def!:        return env.set(ast[1], EVAL(ast[2], env))
-      'let*:        return EVAL(ast[2], ...)
-      _default_:    f, args = eval_ast(ast, env)
-                    return apply(f, args)
-
-PRINT(exp): return printer.pr_str(exp)
-
-repl_env = new Env()
-rep(str): return PRINT(EVAL(READ(str),repl_env))
-
-repl_env.set('+, add_fn)
-    ...
-
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
-
---- env module ----------------------------------
-class Env (outer=null)
-    data = hash_map()
-  set(k,v): return data.set(k,v)
-  find(k): return data.has(k) ? this : (if outer ? find(outer) : null)
-  get(k): return data.find(k).get(k) OR raise "'" + k + "' not found"
diff --git a/docs/steps/step4_if_fn_do.txt b/docs/steps/step4_if_fn_do.txt
deleted file mode 100644
index 805d9b1..0000000
--- a/docs/steps/step4_if_fn_do.txt
+++ /dev/null
@@ -1,76 +0,0 @@
---- step4_if_fn_do ------------------------------
-import types, reader, printer, env, core
-
-READ(str): return reader.read_str(str)
-
-eval_ast(ast,env):
-  switch type(ast):
-    symbol:      return env.get(ast)
-    list,vector: return ast.map((x) -> EVAL(x,env))
-    hash:        return ast.map((k,v) -> list(k, EVAL(v,env)))
-    _default_:   return ast
-
-EVAL(ast,env):
-    if not list?(ast): return eval_ast(ast, env)
-    switch ast[0]:
-      'def!:        return env.set(ast[1], EVAL(ast[2], env))
-      'let*:        return EVAL(ast[2], ...)
-      'do:          return eval_ast(rest(ast), env)[-1]
-      'if:          return EVAL(EVAL(ast[1], env) ? ast[2] : ast[3], env)
-      'fn*:         return (...a) -> EVAL(ast[2], new Env(env, ast[1], a))
-      _default_:    f, args = eval_ast(ast, env)
-                    return apply(f, args)
-
-PRINT(exp): return printer.pr_str(exp)
-
-repl_env = new Env()
-rep(str): return PRINT(EVAL(READ(str),repl_env))
-
-;; core.EXT: defined using Racket
-core.ns.map((k,v) -> (repl_env.set(k, v)))
-
-;; core.mal: defined using the language itself
-rep("(def! not (fn* (a) (if a false true)))")
-
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
-
---- env module ----------------------------------
-class Env (outer=null,binds=[],exprs=[])
-    data = hash_map()
-    foreach b, i in binds:
-      if binds[i] == '&: data[binds[i+1]] = exprs.drop(i); break
-      else: data[binds[i]] = exprs[i]
-  set(k,v): return data.set(k,v)
-  find(k): return data.has(k) ? this : (if outer ? find(outer) : null)
-  get(k): return data.find(k).get(k) OR raise "'" + k + "' not found"
-    
---- core module ---------------------------------
-ns = {'=:        equal?,
-      'nil?:     nil?,
-      'true?:    true?,
-      'false?:   false?,
-      'symbol?:  symbol?,
-
-      'pr-str:   (a) -> a.map(|s| pr_str(e,true)).join(" ")),
-      'str:      (a) -> a.map(|s| pr_str(e,false)).join("")),
-      'prn:      (a) -> println(a.map(|s| pr_str(e,true)).join(" ")),
-      'println:  (a) -> println(a.map(|s| pr_str(e,false)).join(" ")),
-
-      '<:        lt,
-      '<=:       lte,
-      '>:        gt,
-      '>=:       gte,
-      '+:        add,
-      '-:        sub,
-      '*:        mult,
-      '/:        div,
-
-      'list:     list,
-      'list?:    list?,
-      'hash-map: hash_map,
-      'map?:     hash_map?,
-
-      'empty?:   empty?,
-      'count:    count}
diff --git a/docs/steps/step5_tco.txt b/docs/steps/step5_tco.txt
deleted file mode 100644
index 30e2a46..0000000
--- a/docs/steps/step5_tco.txt
+++ /dev/null
@@ -1,78 +0,0 @@
---- step5_tco -----------------------------------
-import types, reader, printer, env, core
-
-READ(str): return reader.read_str(str)
-
-eval_ast(ast,env):
-  switch type(ast):
-    symbol:      return env.get(ast)
-    list,vector: return ast.map((x) -> EVAL(x,env))
-    hash:        return ast.map((k,v) -> list(k, EVAL(v,env)))
-    _default_:   return ast
-
-EVAL(ast,env):
-  while true:
-    if not list?(ast): return eval_ast(ast, env)
-    switch ast[0]:
-      'def!:        return env.set(ast[1], EVAL(ast[2], env))
-      'let*:        env = ...; ast = ast[2] // TCO
-      'do:          ast = eval_ast(ast[1..-1], env)[-1] // TCO
-      'if:          EVAL(ast[1], env) ? ast = ast[2] : ast = ast[3] // TCO
-      'fn*:         return new MalFunc(...)
-      _default_:    f, args = eval_ast(ast, env)
-                    if malfunc?(ast[0]): ast = ast[0].fn; env = ... // TCO
-                    else:                return apply(f, args)
-
-PRINT(exp): return printer.pr_str(exp)
-
-repl_env = new Env()
-rep(str): return PRINT(EVAL(READ(str),repl_env))
-
-;; core.EXT: defined using Racket
-core.ns.map((k,v) -> (repl_env.set(k, v)))
-
-;; core.mal: defined using the language itself
-rep("(def! not (fn* (a) (if a false true)))")
-
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
-
---- env module ----------------------------------
-class Env (outer=null,binds=[],exprs=[])
-    data = hash_map()
-    foreach b, i in binds:
-      if binds[i] == '&: data[binds[i+1]] = exprs.drop(i); break
-      else: data[binds[i]] = exprs[i]
-  set(k,v): return data.set(k,v)
-  find(k): return data.has(k) ? this : (if outer ? find(outer) : null)
-  get(k): return data.find(k).get(k) OR raise "'" + k + "' not found"
-    
---- core module ---------------------------------
-ns = {'=:        equal?,
-      'nil?:     nil?,
-      'true?:    true?,
-      'false?:   false?,
-      'symbol?:  symbol?,
-
-      'pr-str:   (a) -> a.map(|s| pr_str(e,true)).join(" ")),
-      'str:      (a) -> a.map(|s| pr_str(e,false)).join("")),
-      'prn:      (a) -> println(a.map(|s| pr_str(e,true)).join(" ")),
-      'println:  (a) -> println(a.map(|s| pr_str(e,false)).join(" ")),
-
-      '<:        lt,
-      '<=:       lte,
-      '>:        gt,
-      '>=:       gte,
-      '+:        add,
-      '-:        sub,
-      '*:        mult,
-      '/:        div,
-
-      'list:     list,
-      'list?:    list?,
-      'hash-map: hash_map,
-      'map?:     hash_map?,
-
-      'empty?:   empty?,
-      'count:    count}
diff --git a/docs/steps/step6_file.txt b/docs/steps/step6_file.txt
deleted file mode 100644
index bccf8fa..0000000
--- a/docs/steps/step6_file.txt
+++ /dev/null
@@ -1,85 +0,0 @@
---- step6_file ----------------------------------
-import types, reader, printer, env, core
-
-READ(str): return reader.read_str(str)
-
-eval_ast(ast,env):
-  switch type(ast):
-    symbol:      return env.get(ast)
-    list,vector: return ast.map((x) -> EVAL(x,env))
-    hash:        return ast.map((k,v) -> list(k, EVAL(v,env)))
-    _default_:   return ast
-
-EVAL(ast,env):
-  while true:
-    if not list?(ast): return eval_ast(ast, env)
-    switch ast[0]:
-      'def!:        return env.set(ast[1], EVAL(ast[2], env))
-      'let*:        env = ...; ast = ast[2] // TCO
-      'do:          ast = eval_ast(ast[1..-1], env)[-1] // TCO
-      'if:          EVAL(ast[1], env) ? ast = ast[2] : ast = ast[3] // TCO
-      'fn*:         return new MalFunc(...)
-      _default_:    f, args = eval_ast(ast, env)
-                    if malfunc?(ast[0]): ast = ast[0].fn; env = ... // TCO
-                    else:                return apply(f, args)
-
-PRINT(exp): return printer.pr_str(exp)
-
-repl_env = new Env()
-rep(str): return PRINT(EVAL(READ(str),repl_env))
-
-;; core.EXT: defined using Racket
-core.ns.map((k,v) -> (repl_env.set(k, v)))
-repl_env.set('eval, (ast) -> EVAL(ast, repl-env))
-repl_env.set('*ARGV*, cmdline_args[1..])
-
-;; core.mal: defined using the language itself
-rep("(def! not (fn* (a) (if a false true)))")
-rep("(def! load-file (fn* (f) ...))")
-
-if cmdline_args: rep("(load-file \"" + args[0] + "\")"); exit 0
-
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
-
---- env module ----------------------------------
-class Env (outer=null,binds=[],exprs=[])
-    data = hash_map()
-    foreach b, i in binds:
-      if binds[i] == '&: data[binds[i+1]] = exprs.drop(i); break
-      else: data[binds[i]] = exprs[i]
-  set(k,v): return data.set(k,v)
-  find(k): return data.has(k) ? this : (if outer ? find(outer) : null)
-  get(k): return data.find(k).get(k) OR raise "'" + k + "' not found"
-    
---- core module ---------------------------------
-ns = {'=:        equal?,
-      'nil?:     nil?,
-      'true?:    true?,
-      'false?:   false?,
-      'symbol?:  symbol?,
-
-      'pr-str:   (a) -> a.map(|s| pr_str(e,true)).join(" ")),
-      'str:      (a) -> a.map(|s| pr_str(e,false)).join("")),
-      'prn:      (a) -> println(a.map(|s| pr_str(e,true)).join(" ")),
-      'println:  (a) -> println(a.map(|s| pr_str(e,false)).join(" ")),
-      'read-string: read_str,
-      'slurp     read-file,
-
-      '<:        lt,
-      '<=:       lte,
-      '>:        gt,
-      '>=:       gte,
-      '+:        add,
-      '-:        sub,
-      '*:        mult,
-      '/:        div,
-
-      'list:     list,
-      'list?:    list?,
-      'hash-map: hash_map,
-      'map?:     hash_map?,
-
-      'empty?:   empty?,
-      'count:    count}
diff --git a/docs/steps/step7_quote.txt b/docs/steps/step7_quote.txt
deleted file mode 100644
index c166257..0000000
--- a/docs/steps/step7_quote.txt
+++ /dev/null
@@ -1,92 +0,0 @@
---- step7_quote ---------------------------------
-import types, reader, printer, env, core
-
-READ(str): return reader.read_str(str)
-
-pair?(ast): return ... // true if non-empty sequence
-quasiquote(ast): return ... // quasiquote
-
-eval_ast(ast,env):
-  switch type(ast):
-    symbol:      return env.get(ast)
-    list,vector: return ast.map((x) -> EVAL(x,env))
-    hash:        return ast.map((k,v) -> list(k, EVAL(v,env)))
-    _default_:   return ast
-
-EVAL(ast,env):
-  while true:
-    if not list?(ast): return eval_ast(ast, env)
-    switch ast[0]:
-      'def!:        return env.set(ast[1], EVAL(ast[2], env))
-      'let*:        env = ...; ast = ast[2] // TCO
-      'quote:       return ast[1]
-      'quasiquote:  ast = quasiquote(ast[1]) // TCO
-      'do:          ast = eval_ast(ast[1..-1], env)[-1] // TCO
-      'if:          EVAL(ast[1], env) ? ast = ast[2] : ast = ast[3] // TCO
-      'fn*:         return new MalFunc(...)
-      _default_:    f, args = eval_ast(ast, env)
-                    if malfunc?(ast[0]): ast = ast[0].fn; env = ... // TCO
-                    else:                return apply(f, args)
-
-PRINT(exp): return printer.pr_str(exp)
-
-repl_env = new Env()
-rep(str): return PRINT(EVAL(READ(str),repl_env))
-
-;; core.EXT: defined using Racket
-core.ns.map((k,v) -> (repl_env.set(k, v)))
-repl_env.set('eval, (ast) -> EVAL(ast, repl-env))
-repl_env.set('*ARGV*, cmdline_args[1..])
-
-;; core.mal: defined using the language itself
-rep("(def! not (fn* (a) (if a false true)))")
-rep("(def! load-file (fn* (f) ...))")
-
-if cmdline_args: rep("(load-file \"" + args[0] + "\")"); exit 0
-
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
-
---- env module ----------------------------------
-class Env (outer=null,binds=[],exprs=[])
-    data = hash_map()
-    foreach b, i in binds:
-      if binds[i] == '&: data[binds[i+1]] = exprs.drop(i); break
-      else: data[binds[i]] = exprs[i]
-  set(k,v): return data.set(k,v)
-  find(k): return data.has(k) ? this : (if outer ? find(outer) : null)
-  get(k): return data.find(k).get(k) OR raise "'" + k + "' not found"
-    
---- core module ---------------------------------
-ns = {'=:        equal?,
-      'nil?:     nil?,
-      'true?:    true?,
-      'false?:   false?,
-      'symbol?:  symbol?,
-
-      'pr-str:   (a) -> a.map(|s| pr_str(e,true)).join(" ")),
-      'str:      (a) -> a.map(|s| pr_str(e,false)).join("")),
-      'prn:      (a) -> println(a.map(|s| pr_str(e,true)).join(" ")),
-      'println:  (a) -> println(a.map(|s| pr_str(e,false)).join(" ")),
-      'read-string: read_str,
-      'slurp     read-file,
-
-      '<:        lt,
-      '<=:       lte,
-      '>:        gt,
-      '>=:       gte,
-      '+:        add,
-      '-:        sub,
-      '*:        mult,
-      '/:        div,
-
-      'list:     list,
-      'list?:    list?,
-      'hash-map: hash_map,
-      'map?:     hash_map?,
-
-      'cons:     (a) -> concat([a[0]], a[1]),
-      'concat:   (a) -> reduce(concat, [], a),
-      'empty?:   empty?,
-      'count:    count}
diff --git a/docs/steps/step8_macros.txt b/docs/steps/step8_macros.txt
deleted file mode 100644
index da68191..0000000
--- a/docs/steps/step8_macros.txt
+++ /dev/null
@@ -1,102 +0,0 @@
---- step8_macros --------------------------------
-import types, reader, printer, env, core
-
-READ(str): return reader.read_str(str)
-
-pair?(ast): return ... // true if non-empty sequence
-quasiquote(ast): return ... // quasiquote
-
-macro?(ast, env): return ... // true if macro function
-macroexpand(ast, env): return ... // recursive macro expansion
-
-eval_ast(ast,env):
-  switch type(ast):
-    symbol:      return env.get(ast)
-    list,vector: return ast.map((x) -> EVAL(x,env))
-    hash:        return ast.map((k,v) -> list(k, EVAL(v,env)))
-    _default_:   return ast
-
-EVAL(ast,env):
-  while true:
-    if not list?(ast): return eval_ast(ast, env)
-    switch ast[0]:
-      'def!:        return env.set(ast[1], EVAL(ast[2], env))
-      'let*:        env = ...; ast = ast[2] // TCO
-      'quote:       return ast[1]
-      'quasiquote:  ast = quasiquote(ast[1]) // TCO
-      'defmacro!:   return ... // like def!, but set macro property
-      'macroexpand: return macroexpand(ast[1], env)
-      'do:          ast = eval_ast(ast[1..-1], env)[-1] // TCO
-      'if:          EVAL(ast[1], env) ? ast = ast[2] : ast = ast[3] // TCO
-      'fn*:         return new MalFunc(...)
-      _default_:    f, args = eval_ast(ast, env)
-                    if malfunc?(ast[0]): ast = ast[0].fn; env = ... // TCO
-                    else:                return apply(f, args)
-
-PRINT(exp): return printer.pr_str(exp)
-
-repl_env = new Env()
-rep(str): return PRINT(EVAL(READ(str),repl_env))
-
-;; core.EXT: defined using Racket
-core.ns.map((k,v) -> (repl_env.set(k, v)))
-repl_env.set('eval, (ast) -> EVAL(ast, repl-env))
-repl_env.set('*ARGV*, cmdline_args[1..])
-
-;; core.mal: defined using the language itself
-rep("(def! not (fn* (a) (if a false true)))")
-rep("(def! load-file (fn* (f) ...))")
-rep("(defmacro! cond (fn* (& xs) ...))")
-rep("(defmacro! or (fn* (& xs) ...))")
-
-if cmdline_args: rep("(load-file \"" + args[0] + "\")"); exit 0
-
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
-
---- env module ----------------------------------
-class Env (outer=null,binds=[],exprs=[])
-    data = hash_map()
-    foreach b, i in binds:
-      if binds[i] == '&: data[binds[i+1]] = exprs.drop(i); break
-      else: data[binds[i]] = exprs[i]
-  set(k,v): return data.set(k,v)
-  find(k): return data.has(k) ? this : (if outer ? find(outer) : null)
-  get(k): return data.find(k).get(k) OR raise "'" + k + "' not found"
-    
---- core module ---------------------------------
-ns = {'=:        equal?,
-      'nil?:     nil?,
-      'true?:    true?,
-      'false?:   false?,
-      'symbol?:  symbol?,
-
-      'pr-str:   (a) -> a.map(|s| pr_str(e,true)).join(" ")),
-      'str:      (a) -> a.map(|s| pr_str(e,false)).join("")),
-      'prn:      (a) -> println(a.map(|s| pr_str(e,true)).join(" ")),
-      'println:  (a) -> println(a.map(|s| pr_str(e,false)).join(" ")),
-      'read-string: read_str,
-      'slurp     read-file,
-
-      '<:        lt,
-      '<=:       lte,
-      '>:        gt,
-      '>=:       gte,
-      '+:        add,
-      '-:        sub,
-      '*:        mult,
-      '/:        div,
-
-      'list:     list,
-      'list?:    list?,
-      'hash-map: hash_map,
-      'map?:     hash_map?,
-
-      'cons:     (a) -> concat([a[0]], a[1]),
-      'concat:   (a) -> reduce(concat, [], a),
-      'nth:      (a) -> a[0][a[1]] OR raise "nth: index out of range",
-      'first:    (a) -> a[0][0] OR nil,
-      'rest:     (a) -> a[0][1..] OR list(),
-      'empty?:   empty?,
-      'count:    count}
diff --git a/docs/steps/step9_try.txt b/docs/steps/step9_try.txt
deleted file mode 100644
index f0bb5c9..0000000
--- a/docs/steps/step9_try.txt
+++ /dev/null
@@ -1,109 +0,0 @@
---- step9_try -----------------------------------
-import types, reader, printer, env, core
-
-READ(str): return reader.read_str(str)
-
-pair?(ast): return ... // true if non-empty sequence
-quasiquote(ast): return ... // quasiquote
-
-macro?(ast, env): return ... // true if macro function
-macroexpand(ast, env): return ... // recursive macro expansion
-
-eval_ast(ast,env):
-  switch type(ast):
-    symbol:      return env.get(ast)
-    list,vector: return ast.map((x) -> EVAL(x,env))
-    hash:        return ast.map((k,v) -> list(k, EVAL(v,env)))
-    _default_:   return ast
-
-EVAL(ast,env):
-  while true:
-    if not list?(ast): return eval_ast(ast, env)
-    switch ast[0]:
-      'def!:        return env.set(ast[1], EVAL(ast[2], env))
-      'let*:        env = ...; ast = ast[2] // TCO
-      'quote:       return ast[1]
-      'quasiquote:  ast = quasiquote(ast[1]) // TCO
-      'defmacro!:   return ... // like def!, but set macro property
-      'macroexpand: return macroexpand(ast[1], env)
-      'try*:        return ... // try/catch native and malval exceptions
-      'do:          ast = eval_ast(ast[1..-1], env)[-1] // TCO
-      'if:          EVAL(ast[1], env) ? ast = ast[2] : ast = ast[3] // TCO
-      'fn*:         return new MalFunc(...)
-      _default_:    f, args = eval_ast(ast, env)
-                    if malfunc?(ast[0]): ast = ast[0].fn; env = ... // TCO
-                    else:                return apply(f, args)
-
-PRINT(exp): return printer.pr_str(exp)
-
-repl_env = new Env()
-rep(str): return PRINT(EVAL(READ(str),repl_env))
-
-;; core.EXT: defined using Racket
-core.ns.map((k,v) -> (repl_env.set(k, v)))
-repl_env.set('eval, (ast) -> EVAL(ast, repl-env))
-repl_env.set('*ARGV*, cmdline_args[1..])
-
-;; core.mal: defined using the language itself
-rep("(def! not (fn* (a) (if a false true)))")
-rep("(def! load-file (fn* (f) ...))")
-rep("(defmacro! cond (fn* (& xs) ...))")
-rep("(defmacro! or (fn* (& xs) ...))")
-
-if cmdline_args: rep("(load-file \"" + args[0] + "\")"); exit 0
-
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
-
---- env module ----------------------------------
-class Env (outer=null,binds=[],exprs=[])
-    data = hash_map()
-    foreach b, i in binds:
-      if binds[i] == '&: data[binds[i+1]] = exprs.drop(i); break
-      else: data[binds[i]] = exprs[i]
-  set(k,v): return data.set(k,v)
-  find(k): return data.has(k) ? this : (if outer ? find(outer) : null)
-  get(k): return data.find(k).get(k) OR raise "'" + k + "' not found"
-    
---- core module ---------------------------------
-ns = {'=:        equal?,
-      'throw:    throw,
-
-      'nil?:     nil?,
-      'true?:    true?,
-      'false?:   false?,
-      'symbol:   symbol,
-      'symbol?:  symbol?,
-
-      'pr-str:   (a) -> a.map(|s| pr_str(e,true)).join(" ")),
-      'str:      (a) -> a.map(|s| pr_str(e,false)).join("")),
-      'prn:      (a) -> println(a.map(|s| pr_str(e,true)).join(" ")),
-      'println:  (a) -> println(a.map(|s| pr_str(e,false)).join(" ")),
-      'read-string: read_str,
-      'readline: readline,
-      'slurp     read-file,
-
-      '<:        lt,
-      '<=:       lte,
-      '>:        gt,
-      '>=:       gte,
-      '+:        add,
-      '-:        sub,
-      '*:        mult,
-      '/:        div,
-
-      'list:     list,
-      'list?:    list?,
-      'hash-map: hash_map,
-      'map?:     hash_map?,
-
-      'cons:     (a) -> concat([a[0]], a[1]),
-      'concat:   (a) -> reduce(concat, [], a),
-      'nth:      (a) -> a[0][a[1]] OR raise "nth: index out of range",
-      'first:    (a) -> a[0][0] OR nil,
-      'rest:     (a) -> a[0][1..] OR list(),
-      'empty?:   empty?,
-      'count:    count,
-      'apply:    apply,
-      'map:      map}
diff --git a/docs/steps/stepA_interop.txt b/docs/steps/stepA_interop.txt
deleted file mode 100644
index c909056..0000000
--- a/docs/steps/stepA_interop.txt
+++ /dev/null
@@ -1,112 +0,0 @@
---- stepA_interop -------------------------------
-import types, reader, printer, env, core
-
-READ(str): return reader.read_str(str)
-
-pair?(ast): return ... // true if non-empty sequence
-quasiquote(ast): return ... // quasiquote
-
-macro?(ast, env): return ... // true if macro function
-macroexpand(ast, env): return ... // recursive macro expansion
-
-eval_ast(ast,env):
-  switch type(ast):
-    symbol:      return env.get(ast)
-    list,vector: return ast.map((x) -> EVAL(x,env))
-    hash:        return ast.map((k,v) -> list(k, EVAL(v,env)))
-    _default_:   return ast
-
-EVAL(ast,env):
-  while true:
-    if not list?(ast): return eval_ast(ast, env)
-    switch ast[0]:
-      'def!:        return env.set(ast[1], EVAL(ast[2], env))
-      'let*:        env = ...; ast = ast[2] // TCO
-      'quote:       return ast[1]
-      'quasiquote:  ast = quasiquote(ast[1]) // TCO
-      'defmacro!:   return ... // like def!, but set macro property
-      'macroexpand: return macroexpand(ast[1], env)
-      'try*:        return ... // try/catch native and malval exceptions
-      'do:          ast = eval_ast(ast[1..-1], env)[-1] // TCO
-      'if:          EVAL(ast[1], env) ? ast = ast[2] : ast = ast[3] // TCO
-      'fn*:         return new MalFunc(...)
-      _default_:    f, args = eval_ast(ast, env)
-                    if malfunc?(ast[0]): ast = ast[0].fn; env = ... // TCO
-                    else:                return apply(f, args)
-
-PRINT(exp): return printer.pr_str(exp)
-
-repl_env = new Env()
-rep(str): return PRINT(EVAL(READ(str),repl_env))
-
-;; core.EXT: defined using Racket
-core.ns.map((k,v) -> (repl_env.set(k, v)))
-repl_env.set('eval, (ast) -> EVAL(ast, repl-env))
-repl_env.set('*ARGV*, cmdline_args[1..])
-
-;; core.mal: defined using the language itself
-rep("(def! *host-language* \"racket\")")
-rep("(def! not (fn* (a) (if a false true)))")
-rep("(def! load-file (fn* (f) ...))")
-rep("(defmacro! cond (fn* (& xs) ...))")
-rep("(defmacro! or (fn* (& xs) ...))")
-
-if cmdline_args: rep("(load-file \"" + args[0] + "\")"); exit 0
-
-rep("(println (str \"Mal [\" *host-language* \"]\"))")
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
-
---- env module ----------------------------------
-class Env (outer=null,binds=[],exprs=[])
-    data = hash_map()
-    foreach b, i in binds:
-      if binds[i] == '&: data[binds[i+1]] = exprs.drop(i); break
-      else: data[binds[i]] = exprs[i]
-  set(k,v): return data.set(k,v)
-  find(k): return data.has(k) ? this : (if outer ? find(outer) : null)
-  get(k): return data.find(k).get(k) OR raise "'" + k + "' not found"
-    
---- core module ---------------------------------
-ns = {'=:        equal?,
-      'throw:    throw,
-
-      'nil?:     nil?,
-      'true?:    true?,
-      'false?:   false?,
-      'symbol:   symbol,
-      'symbol?:  symbol?,
-
-      'pr-str:   (a) -> a.map(|s| pr_str(e,true)).join(" ")),
-      'str:      (a) -> a.map(|s| pr_str(e,false)).join("")),
-      'prn:      (a) -> println(a.map(|s| pr_str(e,true)).join(" ")),
-      'println:  (a) -> println(a.map(|s| pr_str(e,false)).join(" ")),
-      'read-string: read_str,
-      'readline: readline,
-      'slurp     read-file,
-
-      '<:        lt,
-      '<=:       lte,
-      '>:        gt,
-      '>=:       gte,
-      '+:        add,
-      '-:        sub,
-      '*:        mult,
-      '/:        div,
-      'time-ms   cur-epoch-millis,
-
-      'list:     list,
-      'list?:    list?,
-      'hash-map: hash_map,
-      'map?:     hash_map?,
-
-      'cons:     (a) -> concat([a[0]], a[1]),
-      'concat:   (a) -> reduce(concat, [], a),
-      'nth:      (a) -> a[0][a[1]] OR raise "nth: index out of range",
-      'first:    (a) -> a[0][0] OR nil,
-      'rest:     (a) -> a[0][1..] OR list(),
-      'empty?:   empty?,
-      'count:    count,
-      'apply:    apply,
-      'map:      map}
diff --git a/docs/steps/stepA_interop2.txt b/docs/steps/stepA_interop2.txt
deleted file mode 100644
index 05dfe8c..0000000
--- a/docs/steps/stepA_interop2.txt
+++ /dev/null
@@ -1,131 +0,0 @@
---- stepA_interop -------------------------------
-import types, reader, printer, env, core
-
-READ(str): return reader.read_str(str)
-
-pair?(ast): return ... // true if non-empty sequence
-quasiquote(ast): return ... // quasiquote
-
-macro?(ast, env): return ... // true if macro function
-macroexpand(ast, env): return ... // recursive macro expansion
-
-eval_ast(ast,env):
-  switch type(ast):
-    symbol:      return env.get(ast)
-    list,vector: return ast.map((x) -> EVAL(x,env))
-    hash:        return ast.map((k,v) -> list(k, EVAL(v,env)))
-    _default_:   return ast
-
-EVAL(ast,env):
-  while true:
-    if not list?(ast): return eval_ast(ast, env)
-    switch ast[0]:
-      'def!:        return env.set(ast[1], EVAL(ast[2], env))
-      'let*:        env = ...; ast = ast[2] // TCO
-      'quote:       return ast[1]
-      'quasiquote:  ast = quasiquote(ast[1]) // TCO
-      'defmacro!:   return ... // like def!, but set macro property
-      'macroexpand: return macroexpand(ast[1], env)
-      'try*:        return ... // try/catch native and malval exceptions
-      'do:          ast = eval_ast(ast[1..-1], env)[-1] // TCO
-      'if:          EVAL(ast[1], env) ? ast = ast[2] : ast = ast[3] // TCO
-      'fn*:         return new MalFunc(...)
-      _default_:    f, args = eval_ast(ast, env)
-                    if malfunc?(ast[0]): ast = ast[0].fn; env = ... // TCO
-                    else:                return apply(f, args)
-
-PRINT(exp): return printer.pr_str(exp)
-
-repl_env = new Env()
-rep(str): return PRINT(EVAL(READ(str),repl_env))
-
-;; core.EXT: defined using Racket
-core.ns.map((k,v) -> (repl_env.set(k, v)))
-repl_env.set('eval, (ast) -> EVAL(ast, repl-env))
-repl_env.set('*ARGV*, cmdline_args[1..])
-
-;; core.mal: defined using the language itself
-rep("(def! *host-language* \"racket\")")
-rep("(def! not (fn* (a) (if a false true)))")
-rep("(def! load-file (fn* (f) ...))")
-rep("(defmacro! cond (fn* (& xs) ...))")
-rep("(defmacro! or (fn* (& xs) ...))")
-
-if cmdline_args: rep("(load-file \"" + args[0] + "\")"); exit 0
-
-rep("(println (str \"Mal [\" *host-language* \"]\"))")
-main loop:
-  try:      println(rep(readline("user> ")))
-  catch e:  println("Error: ", e)
-
---- env module ----------------------------------
-class Env (outer=null,binds=[],exprs=[])
-    data = hash_map()
-    foreach b, i in binds:
-      if binds[i] == '&: data[binds[i+1]] = exprs.drop(i); break
-      else: data[binds[i]] = exprs[i]
-  set(k,v): return data.set(k,v)
-  find(k): return data.has(k) ? this : (if outer ? find(outer) : null)
-  get(k): return data.find(k).get(k) OR raise "'" + k + "' not found"
-    
---- core module ---------------------------------
-ns = {'=:        equal?,
-      'throw:    throw,
-
-      'nil?:     nil?,
-      'true?:    true?,
-      'false?:   false?,
-      'symbol:   symbol,
-      'symbol?:  symbol?,
-      'keyword:  keyword,
-      'keyword?: keyword?,
-
-      'pr-str:   (a) -> a.map(|s| pr_str(e,true)).join(" ")),
-      'str:      (a) -> a.map(|s| pr_str(e,false)).join("")),
-      'prn:      (a) -> println(a.map(|s| pr_str(e,true)).join(" ")),
-      'println:  (a) -> println(a.map(|s| pr_str(e,false)).join(" ")),
-      'read-string: read_str,
-      'readline: readline,
-      'slurp     read-file,
-
-      '<:        lt,
-      '<=:       lte,
-      '>:        gt,
-      '>=:       gte,
-      '+:        add,
-      '-:        sub,
-      '*:        mult,
-      '/:        div,
-
-      'list:     list,
-      'list?:    list?,
-      'vector:   vector,
-      'vector?:  vector?,
-      'hash-map: hash_map,
-      'map?:     hash_map?,
-      'assoc:    assoc,
-      'dissoc:   dissoc,
-      'get:      get,
-      'contains?: contains?,
-      'keys:     keys,
-      'vals:     vals,
-
-      'sequential? sequential?,
-      'cons:     (a) -> concat([a[0]], a[1]),
-      'concat:   (a) -> reduce(concat, [], a),
-      'nth:      (a) -> a[0][a[1]] OR raise "nth: index out of range",
-      'first:    (a) -> a[0][0] OR nil,
-      'rest:     (a) -> a[0][1..] OR list(),
-      'empty?:   empty?,
-      'count:    count,
-      'apply:    apply,
-      'map:      map,
-      'conj:     conj,
-
-      'meta:     (a) -> a[0].meta,
-      'with-meta: (a) -> a[0].with_meta(a[1]),
-      'atom:     (a) -> new Atom(a[0]),
-      'atom?:    (a) -> type(a[0]) == "atom",
-      'deref:    (a) -> a[0].val,
-      'reset!:   (a) -> a[0].val = a[1],
-      'swap!:    swap!}