Skip to content

Commit

Permalink
Update README accordingly
Browse files Browse the repository at this point in the history
  • Loading branch information
Trebor-Huang authored Mar 2, 2023
1 parent 5e72dab commit e6844df
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@

[![CC BY-NC-SA 4.0][cc-by-nc-sa-shield]][cc-by-nc-sa]

**You can download the artifacts at [the actions tab](https://github.com/Trebor-Huang/history/actions)** (Login required).
**You can download the artifacts at [the releases page](https://github.com/Trebor-Huang/history/releases)**.

**你可以在[](https://github.com/Trebor-Huang/history/actions)下载编译好的文件**(需要登录GitHub).
**你可以在[](https://github.com/Trebor-Huang/history/releases)下载编译好的文件**.

An overview of the history of type theory, mainly for mathematically oriented people. I seek to achive these goals:
- Provide a coherent and up-to-date source of information in Chinese.
Expand Down

0 comments on commit e6844df

Please sign in to comment.