From 21730150f7bcec7bd9b39811c3870e4f9d46a3f3 Mon Sep 17 00:00:00 2001
From: s-taiga <neverbefore351@gmail.com>
Date: Thu, 26 Dec 2024 00:21:13 +0900
Subject: [PATCH] =?UTF-8?q?=E7=BF=BB=E8=A8=B3=E9=96=8B=E5=A7=8B?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Manual/Monads.lean | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Manual/Monads.lean b/Manual/Monads.lean
index e82ccfa..7d17ea0 100644
--- a/Manual/Monads.lean
+++ b/Manual/Monads.lean
@@ -27,7 +27,10 @@ set_option pp.rawOnError true
 set_option linter.unusedVariables false
 set_option maxRecDepth 1024
 
+/-
 #doc (Manual) "Functors, Monads and `do`-Notation" =>
+-/
+#doc (Manual) "関手・モナド・`do` 記法（Functors, Monads and `do`-Notation）" =>
 
 %%%
 tag := "monads-and-do"