-@private\r
-@inline\r
-not True = False\r
-not False = True\r
-\r
-@private\r
-@inline\r
-id x = not (not x)\r
-\r
-main = id True\r
---\r
+@private
+@inline
+not True = False
+not False = True
+
+@private
+@inline
+id x = not (not x)
+
+main = id True
+--
true
\ No newline at end of file