up

TODO.md

@@ -1,17 +1,14 @@
-# lang1
-
-[docs/lang1] update NOTE.md and move it to `diary/`
-[docs/lang1] fix `freshen` -- be like lang0 with `usedNames`
-
 # lang0
 
-[docs/lang0] remove the builtin `(fix)`
-[docs/lang0] recursion only by `(fixpoint)` -- remove by name recursion
+[docs/lang0] note about `(fixpoint)` `(fix)` and single recursion by `(fixpoint)`
 [docs/lang0] 用中文重新整理 lambda encoding 相关的知识。
 [docs/lang0] 用中文重新整理 lambda encoding 和 self type 相关的知识。
+[lang0] 支持直接递归函数与相互递归函数，不能判断等价的地方就不判断。
 
 # lang1
 
+[docs/lang1] update NOTE.md and move it to `diary/`
+[docs/lang1] fix `freshen` -- be like lang0 with `usedNames`
 [lang1] 支持直接递归函数与相互递归函数，不能判断等价的地方就不判断。
 [lang1] do alpha equivalence for `(assert-equal)`
 [lang1] support `(import)`