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

Commit 9689803

Browse files
s-taigas-taiga
committed
翻訳開始
1 parent 4f26f16 commit 9689803

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

‎Manual/Monads/Laws.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) "Laws" =>
24+
-/
25+
#doc (Manual) "規則（Laws）" =>
2326
%%%
2427
tag := "monad-laws"
2528
%%%

0 commit comments

Comments
 (0)