From 30891c9ae61cd4f97df2b90f777aacb6d415ef0b Mon Sep 17 00:00:00 2001 From: Seasawher Date: Mon, 9 Oct 2023 14:07:12 +0900 Subject: [PATCH] =?UTF-8?q?README=20=E6=9B=B4=E6=96=B0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 01193ee..5973c20 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Mathematics in type theory 非公式日本語訳 +# Xena 記事日本語訳 -* [原文](https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/) -* [対訳表](GLOSSARY.md) \ No newline at end of file +* [Xena](https://xenaproject.wordpress.com/) +* [対訳表](GLOSSARY.md)