up

TODO.md

@@ -1,14 +1,6 @@
 回顾 linear logic
 
 - linear logic 的谓词演算是什么样的？
-- 如何理解谓词演算中的，没有类型限制的约束变元？
-  - 我记得又一次我相通了，但是又忘了。
-    - 也许是在 1998-logic-logic-and-logic.md 中，
-      但是我觉得更早，也许是 chimera 和 EOPL 中，
-      也许是 the power of prolog 的笔记中。
-      这次一定要记住！
-
-开启 inet-cat 项目
 
 `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`

docs/diary/2024-10-17-maybe-untyped-first.md

@@ -11,7 +11,7 @@ date: 2024-10-17
 按照这个原则，开始的时候也不应该有 port 的 sign 的限制，
 即不应该限制只有相反的 sign 的 port 才能相连。
 
-这个项目可以叫做 inet-cat：
+可以回到 inet-cute 中做这个修改：
 
 ```inet
 node zero value! end