remove lang1

TODO.md

@@ -1,18 +1,4 @@
-将 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)`
-[lang1] 支持直接递归函数与相互递归函数，不能判断等价的地方就不判断。
+rename lang0 to lang
 
 # lang0
 

package.json

@@ -15,13 +15,10 @@
     "build": "tsc",
     "build:watch": "tsc --watch",
     "test:node": "node --test",
-    "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:tests": "test-runner snapshot './bin/lambda.js run' 'docs/lang0/**/*.scm' --exclude 'docs/lang0/**/*.error.scm'",
+    "test:lang0:tests-error": "test-runner snapshot-error './bin/lambda.js run' 'docs/lang0/**/*.error.scm'",
     "test:lang0": "npm run test:lang0:tests && npm run test:lang0:tests-error",
-    "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",
+    "test": "npm run test:node && npm run test:lang0",
     "format": "prettier src docs --write"
   },
   "dependencies": {

src/command-line/commands/Lang0Command.ts → src/command-line/commands/RunCommand.ts

@@ -7,10 +7,10 @@ import { run } from "../../lang0/run/index.js"
 type Args = { file: string }
 type Opts = {}
 
-export class Lang0Command extends Command<Args, Opts> {
-  name = "lang0"
+export class RunCommand extends Command<Args, Opts> {
+  name = "run"
 
-  description = "Run a lang0 file"
+  description = "Run a file"
 
   args = { file: ty.string() }
   opts = {}
@@ -20,7 +20,7 @@ export class Lang0Command extends Command<Args, Opts> {
     const { blue } = this.colors
 
     return [
-      `The ${blue(this.name)} command run a lang0 file.`,
+      `The ${blue(this.name)} command run a file.`,
       ``,
       blue(`  ${runner.name} ${this.name} <file>`),
       ``,

src/command-line/commands/index.ts

@@ -1,3 +1,2 @@
 export * from "@xieyuheng/command-line/lib/commands/index.js"
-export * from "./Lang0Command.js"
-export * from "./Lang1Command.js"
+export * from "./RunCommand.js"

src/command-line/index.ts

@@ -7,10 +7,6 @@ import * as Commands from "./commands/index.js"
 export function createCommandRunner(): CommandRunner {
   return new CommandRunners.CommonCommandRunner({
     defaultCommand: new Commands.CommonHelp(),
-    commands: [
-      new Commands.Lang0Command(),
-      new Commands.Lang1Command(),
-      new Commands.CommonHelp(),
-    ],
+    commands: [new Commands.RunCommand(), new Commands.CommonHelp()],
   })
 }