From 92cf72133ca184b30f311ba28a7b3f76600be36c Mon Sep 17 00:00:00 2001
From: Xie Yuheng <xyheme@gmail.com>
Date: Mon, 21 Oct 2024 14:15:38 +0800
Subject: [PATCH] up

---
 NOTE.md | 3 +++
 TODO.md | 5 -----
 2 files changed, 3 insertions(+), 5 deletions(-)
 create mode 100644 NOTE.md

diff --git a/NOTE.md b/NOTE.md
new file mode 100644
index 0000000..21f8032
--- /dev/null
+++ b/NOTE.md
@@ -0,0 +1,3 @@
+想要删除类型系统，
+但是发现很难在现有代码的基础上删除类型系统，
+还是重写一个比较好。
diff --git a/TODO.md b/TODO.md
index bcf5025..dce435c 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,7 +1,2 @@
-删除类型系统，并补充相关笔记
-更改命名惯例为 lisp-case
-
-# later
-
 static import should handled by an extra pass -- instead of injecting a `Loader` to `Mod`
 `NodeId` vs `Node` -- instead of `Node` vs `NodeEntry` -- the same for `HalfEdge`