doc: missing file

leanprover · Apr 20, 2022 · e1fbfb6 · e1fbfb6
1 parent 84cc167
commit e1fbfb6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/doc/syntax_examples.md b/doc/syntax_examples.md
@@ -0,0 +1,4 @@
+# Syntax Metaprogramming Examples
+
+- [Balanced Parentheses](./syntax_example.md)
+- [Arithmetic DSL](./metaprogramming-arith.md)