Fix formatting of the example file

rzk-lang · Dec 12, 2023 · fe0feb6 · fe0feb6
1 parent f47d0f1
commit fe0feb6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/0-example.rzk.md b/src/0-example.rzk.md
@@ -8,7 +8,7 @@ Here is an identity function:
 
 ```rzk
 #define identity
-    ( A : U)
-    : A → A
-    := \ x → x
+  ( A : U)
+  : A → A
+  := \ x → x
 ```