From bd12e8950b8decd044b0dde4512d07a4b6df17cc Mon Sep 17 00:00:00 2001 From: Xie Yuheng Date: Sat, 29 Jan 2022 14:13:36 +0800 Subject: [PATCH] =?UTF-8?q?=E6=B7=BB=E5=8A=A0=E8=B0=A2=E5=AE=87=E6=81=92?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README-Programmer-Edition.md | 5 +++++ README.md | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/README-Programmer-Edition.md b/README-Programmer-Edition.md index c436d7b..7621456 100644 --- a/README-Programmer-Edition.md +++ b/README-Programmer-Edition.md @@ -14,6 +14,11 @@ Issue 和 PR 里偶尔有人提交一些不错的东西，但打开一看，不 程序员版开始于2019年4月11号, 主版面开始于2018年3月 +### 2022年1月29号添加 +--- +#### 谢宇恒(深圳) - [主页](https://xieyuheng.com), [Github](https://github.com/xieyuheng) +* :white_check_mark: [蝉语](https://cicada-lang.org)：一个可以用来形式化数学定理的程序语言。 + ### 2021年11月11号添加 --- #### Eson(广州) - [Github](https://github.com/itiwll), [博客](https://blog.esonwong.com) diff --git a/README.md b/README.md index 35c4730..32c62ef 100644 --- a/README.md +++ b/README.md @@ -21,6 +21,11 @@ ## 3. 项目列表 （名字按时间排序，最新添加的在最上面） +### 2022年1月29号添加 +--- +#### 谢宇恒(深圳) - [主页](https://xieyuheng.com), [Github](https://github.com/xieyuheng) +* :white_check_mark: [只读链接](https://readonly.link)：一个文档渲染工具，文字创作者的社区。来自书籍与文章的邀请～ + ### 2022年1月10号添加 --- #### JRay0108(济南) - [Github](https://github.com/JRay0108)