up

Author: xieyuheng

TODO.md

@@ -2,6 +2,9 @@
 
 > Use parser combinators.
 
+[lang2] `docs/lang2` -- examples
+[lang2] Exp -- Block
+[lang2] Exp -- Where
 [lang2] `syntax/parseStmt`
 
 [lang2] recursive function + datatype

docs/lang2/README.md

@@ -0,0 +1,26 @@
+# Lang2
+
+Interpreter of lambda calculus with explicit substitution.
+
+- The meaning of scheme's `(let)` can be viewed as explicit substitution.
+  But the `let` here is like scheme's `(let*)`,
+  and we use `where` as syntax for explicit substitution instead.
+
+```cicada
+let name = body
+function name(arg, ...) body
+import "./file.scm"
+compute exp
+
+f(a)
+f(a, b)
+(name) => ret
+exp where {
+  name = exp
+  name = exp
+}
+{
+  let name = exp
+  return body
+}
+```