xinyin025/chinese-independent-developer
1
0
Fork 0
mirror of https://github.com/1c7/chinese-independent-developer.git synced 2025-10-13 05:23:46 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

添加谢宇恒

Browse Source
This commit is contained in:
Xie Yuheng
2022-01-29 14:13:36 +08:00
parent 2f072a5c17
commit bd12e8950b
2 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
README-Programmer-Edition.md
View File

@@ -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)