cicada-lang
diff --git a/‎TODO.md
-4 b/‎TODO.md
-4
diff --git a/‎docs/diary/2023-07-27-design-of-new-syntax.md
-180 b/‎docs/diary/2023-07-27-design-of-new-syntax.md
-180
diff --git a/‎docs/diary/2023-07-28-procedural-programming-as-macro-system.md
-29 b/‎docs/diary/2023-07-28-procedural-programming-as-macro-system.md
-29
diff --git a/‎docs/diary/2023-07-28-using-string-for-local-variable.md
-19 b/‎docs/diary/2023-07-28-using-string-for-local-variable.md
-19
diff --git a/‎docs/diary/2023-07-29-interaction-nets-and-logic-programming.md
-10 b/‎docs/diary/2023-07-29-interaction-nets-and-logic-programming.md
-10
diff --git a/‎docs/diary/2023-07-30-neutral-sign.md
-22 b/‎docs/diary/2023-07-30-neutral-sign.md
-22
diff --git a/‎docs/diary/2023-07-30-parallelization.md
-22 b/‎docs/diary/2023-07-30-parallelization.md
-22
diff --git a/‎docs/diary/2023-07-31-signed-ports-vs-signed-types.md
-15 b/‎docs/diary/2023-07-31-signed-ports-vs-signed-types.md
-15
diff --git a/‎docs/diary/2023-08-02-defdata.md
-57 b/‎docs/diary/2023-08-02-defdata.md
-57
@@ -1,7 +1,3 @@
-回顾 linear logic
-
-- linear logic 的谓词演算是什么样的？
-
 `NodeId` vs `Node` -- instead of `Node` vs `NodeEntry` -- the same for `HalfEdge`
 static import should handled by an extra pass -- instead of injecting a `Loader` to `Mod`
 Type as Value -- 用 HalfEdge 来编码 Type -- 删除 TypeCtor | Type | Symbol | TypeTerm