Skip to content

Commit

Permalink
Zenn への言及を Readme に移す
Browse files Browse the repository at this point in the history
  • Loading branch information
@Seasawher
Seasawher authored Nov 23, 2023
1 parent 99f97ba commit 00d53c3
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,3 +2,4 @@

* [原文](https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/)
* [対訳表](GLOSSARY.md)
* [Zenn版](https://zenn.dev/leanja/articles/math_in_type_theory)

0 comments on commit 00d53c3

Please sign in to comment.