up

TODO.md

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