diff --git a/TODO.md b/TODO.md index 4f14d40..672664a 100644 --- a/TODO.md +++ b/TODO.md @@ -1,3 +1,7 @@ +# 4.4 Dependencies Improve Search + +> https://github.com/cicada-lang/propagator/issues/4 + # mimor [mimor] 4 Dependencies @@ -5,10 +9,6 @@ [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 来逼近结果