From fe0feb60d1b868732a6e08850cf9d4e1a1e1af3b Mon Sep 17 00:00:00 2001
From: Abdelrahman Aly Abounegm <abounegm.abdelrahman@gmail.com>
Date: Tue, 12 Dec 2023 14:03:22 +0000
Subject: [PATCH] Fix formatting of the example file

---
 src/0-example.rzk.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/0-example.rzk.md b/src/0-example.rzk.md
index b3b53e9..2dc589f 100644
--- 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
 ```