From cd7f1cbf488f959e43e8e4541e8e14be4db8b8a8 Mon Sep 17 00:00:00 2001
From: KonjacSource <1435771606@qq.com>
Date: Wed, 9 Oct 2024 01:53:15 +0800
Subject: [PATCH] update readme

---
 README-zh.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README-zh.md b/README-zh.md
index 5c7e10d..ed5dd04 100644
--- a/README-zh.md
+++ b/README-zh.md
@@ -39,15 +39,15 @@ ghci> run "Eaxmple.shitt"
 - [x] 高阶归纳类型(暂无边界检查)
 - [x] REPL
 - [x] 模块系统(非常逊)
+- [x] 停机检查
+- [x] 互递归
 - [ ] 运算符
-- [ ] 停机检查
 - [ ] 归纳类型的极性检查
 - [ ] 优化输出
 - [ ] 优化错误提示
 - [ ] 输入输出
 - [ ] 编译器后端
 - [ ] 类型类
-- [ ] 互递归
 
 ## 使用 REPL