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)