[docs/lang1] update NOTE.md and move it to diary/ -- explicit-substitution.md

Author: xieyuheng

TODO.md

@@ -1,8 +1,9 @@
+[docs/lang1] explicit-substitution.md 重写为中文
+
 [docs/lang0] 用中文重新整理 lambda encoding 相关的知识，形成一本书。
 [docs/lang0] 用中文重新整理 lambda encoding 和 self type 相关的知识。
 [lang0] 支持直接递归函数与相互递归函数，不能判断等价的地方就不判断。
 
-[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)`

docs/lang1/NOTE.md …iary/2024-03-31-explicit-substitution.mddocs/lang1/NOTE.md renamed to docs/diary/2024-03-31-explicit-substitution.md docs/lang1/NOTE.md renamed to docs/diary/2024-03-31-explicit-substitution.md

@@ -1,3 +1,8 @@
+---
+title: Explicit substitution
+date: 2024-03-31
+---
+
 # Note
 
 In a more general sense,