Skip to content
This repository was archived by the owner on Jan 5, 2025. It is now read-only.

Commit 4dc9c5b

Browse files
s-taigas-taiga
committed
翻訳開始
1 parent 49b3eba commit 4dc9c5b

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

‎Manual/Monads/Lift.lean‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,10 @@ set_option pp.rawOnError true
1919

2020
set_option linter.unusedVariables false
2121

22+
/-
2223
#doc (Manual) "Lifting Monads" =>
24+
-/
25+
#doc (Manual) "モナドの持ち上げ（Lifting Monads）" =>
2326

2427
::::keepEnv
2528

0 commit comments

Comments
 (0)