将 clique 重新命名为 lambda

README.md

@@ -1,7 +1,6 @@
-# A group of little languages
+# Lambda Calculus
 
-- [**lang0**](./docs/lang0/README.md) -- Interpreter of lambda calculus.
-- [**lang1**](./docs/lang1/README.md) -- Interpreter of lambda calculus with explicit substitution.
+An implementation of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
 
 ## Usages
 
@@ -10,10 +9,10 @@
 Install it by the following command:
 
 ```sh
-npm install -g @cicada-lang/clique
+npm install -g @cicada-lang/lambda
 ```
 
-The command-line program is called `clique`.
+The command-line program is called `lambda`.
 
 ## Development
 

TODO.md

@@ -1,3 +1,14 @@
+将 explicit-substitution 从 lambda 中分离出来
+
+# 有待验证的假设
+
+在 explicit-substitution 中实验，然后开始 cicada。
+
+- 用 `assert-equal` 验证基于 `Exp` 的 definitional 等价关系。
+- 验证基于 `Exp` 的递归函数之间的 definitional 等价关系。
+- 验证基于 `Exp` 的 dependent type 类型检查器。
+- 在实现 explicit-substitution 时避免全局的 `globalFreshen`。
+
 # lang1
 
 [lang1] 支持 `(assert-equal)` 与 `(assert-not-equal)`

package.json

@@ -1,25 +1,25 @@
 {
-  "name": "@cicada-lang/clique",
+  "name": "@cicada-lang/lambda",
   "version": "0.3.0",
-  "repository": "github:cicada-lang/clique",
+  "repository": "github:cicada-lang/lambda",
   "type": "module",
   "main": "./lib/index.js",
   "files": [
     "src",
     "lib"
   ],
   "bin": {
-    "clique": "bin/clique.js"
+    "lambda": "bin/lambda.js"
   },
   "scripts": {
     "build": "tsc",
     "build:watch": "tsc --watch",
     "test:node": "node --test",
-    "test:lang0:tests": "test-runner snapshot './bin/clique.js lang0' 'docs/lang0/**/*.scm' --exclude 'docs/lang0/**/*.error.scm'",
-    "test:lang0:tests-error": "test-runner snapshot-error './bin/clique.js lang0' 'docs/lang0/**/*.error.scm'",
+    "test:lang0:tests": "test-runner snapshot './bin/lambda.js lang0' 'docs/lang0/**/*.scm' --exclude 'docs/lang0/**/*.error.scm'",
+    "test:lang0:tests-error": "test-runner snapshot-error './bin/lambda.js lang0' 'docs/lang0/**/*.error.scm'",
     "test:lang0": "npm run test:lang0:tests && npm run test:lang0:tests-error",
-    "test:lang1:tests": "test-runner snapshot './bin/clique.js lang1' 'docs/lang1/**/*.scm' --exclude 'docs/lang1/**/*.error.scm'",
-    "test:lang1:tests-error": "test-runner snapshot-error './bin/clique.js lang1' 'docs/lang1/**/*.error.scm'",
+    "test:lang1:tests": "test-runner snapshot './bin/lambda.js lang1' 'docs/lang1/**/*.scm' --exclude 'docs/lang1/**/*.error.scm'",
+    "test:lang1:tests-error": "test-runner snapshot-error './bin/lambda.js lang1' 'docs/lang1/**/*.error.scm'",
     "test:lang1": "npm run test:lang1:tests && npm run test:lang1:tests-error",
     "test": "npm run test:node && npm run test:lang0 && npm run test:lang1",
     "format": "prettier src docs --write"