diff --git a/sample-programs/basic-0 b/sample-programs/basic-0
index 35b9c04..bc71161 100644
--- a/sample-programs/basic-0
+++ b/sample-programs/basic-0
@@ -1,20 +1,15 @@
-data Bool () where {
-    True : Bool ()
+data Bool () where
+    True  : Bool ()
     False : Bool ()
-};
 
-even : Int -> Bool ();
-even x = not (odd x) ;
+not x = case x of
+    True => False
+    False => True
+
+even : Int -> Bool ()
+even x = not (odd x)
+odd x = not (even x)
 
-odd x = not (even x) ;
-
-not x = case x of {
-    True => False;
-    False => True;
-};
-
-f = g;
-g = f;