翻訳開始

lean-ja · Dec 25, 2024 · 2173015 · 2173015
1 parent d05b7a0
commit 2173015
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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"