up

xieyuheng · xieyuheng · commit e6dc8e8f95a6 · 2024-09-28T20:59:26.000+08:00
diff --git a/TODO.md b/TODO.md
@@ -1,14 +1,14 @@
+# 4.4 Dependencies Improve Search
+
+> https://github.com/cicada-lang/propagator/issues/4
+
 # mimor
 
 [mimor] 4 Dependencies
 [mimor] 5 Expressive Power
 [mimor] 6 Towards a Programming Language
 [mimor] 7 Philosophical Insights
 
-# 4.4 Dependencies Improve Search
-
-> https://github.com/cicada-lang/propagator/issues/4
-
 # 完成 "The Art" 中的 Heron 例子
 
 > - 需要设计 lattice 来逼近结果
