Fix example file formatting

rzk-lang · Dec 9, 2023 · c521d28 · c521d28
1 parent a548ade
commit c521d28
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/example/1-example.rzk.md b/example/1-example.rzk.md
@@ -8,7 +8,7 @@ Here's a sample definition to typecheck:
 
 ```rzk
 #define modus-ponens
-  (A B : U)
-  : (A → B) → A → B
+  ( A B : U)
+  : ( A → B) → A → B
   := \ f x → f x
 ```