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

Commit 5be5727

Browse files
s-taigas-taiga
committed
翻訳開始
1 parent 29206fa commit 5be5727

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

‎lean/main/04_metam.lean‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
/-
2+
--#--
23
# `MetaM`
34
5+
--#--
6+
7+
8+
--#--
49
The Lean 4 metaprogramming API is organised around a small zoo of monads. The
510
four main ones are:
611

0 commit comments

Comments
 (0)