up

cicada-lang · Sep 28, 2024 · e6dc8e8 · e6dc8e8
1 parent 47c3d63
commit e6dc8e8
Showing 1 changed file with 4 additions and 4 deletions.
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 来逼近结果