Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/catchkernelexceptions
/
.
/
doc
/
syntax_examples.md
blob: f82b1b79707346843e24f32dd21e6aeff8a6d835 [
file
] [
view
] [
edit
]
# Syntax Metaprogramming Examples
-
[
Balanced
Parentheses
](./
syntax_example
.
md
)
-
[
Arithmetic
DSL
](./
metaprogramming
-
arith
.
md
)
