update readme

KonjacSource · Oct 8, 2024 · cd7f1cb · cd7f1cb
1 parent c9fa001
commit cd7f1cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README-zh.md b/README-zh.md
@@ -39,15 +39,15 @@ ghci> run "Eaxmple.shitt"
 - [x] 高阶归纳类型(暂无边界检查)
 - [x] REPL
 - [x] 模块系统(非常逊)
+- [x] 停机检查
+- [x] 互递归
 - [ ] 运算符
-- [ ] 停机检查
 - [ ] 归纳类型的极性检查
 - [ ] 优化输出
 - [ ] 优化错误提示
 - [ ] 输入输出
 - [ ] 编译器后端
 - [ ] 类型类
-- [ ] 互递归
 
 ## 使用 REPL