From 00d53c3c1dbe1379a97966bdeb2827eb4a4d08a1 Mon Sep 17 00:00:00 2001
From: Kitamado <47292598+Seasawher@users.noreply.github.com>
Date: Thu, 23 Nov 2023 23:46:03 +0900
Subject: [PATCH] =?UTF-8?q?Zenn=20=E3=81=B8=E3=81=AE=E8=A8=80=E5=8F=8A?=
 =?UTF-8?q?=E3=82=92=20Readme=20=E3=81=AB=E7=A7=BB=E3=81=99?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index c145137..7546549 100644
--- a/README.md
+++ b/README.md
@@ -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)