Fix Tree/Leaf and Tree/Node not capitalized in syntax.md (#730)

HigherOrderCO · Oct 17, 2024 · a085978 · a085978
1 parent 9da1f49
commit a085978
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/syntax.md b/docs/syntax.md
@@ -291,10 +291,10 @@ It is possible to bind a variable name to the matching value. The fields of the
 ### Fold
 
 ```python
-fold x = Tree/leaf:
-  case Tree/node:
+fold x = Tree/Leaf:
+  case Tree/Node:
     return x.value + x.left + x.right
-  case Tree/leaf:
+  case Tree/Leaf:
     return 0
 ```