-import "Prelude"\r
-\r
-main = ()\r
- where\r
- A ?x => print ?x\r
- A ?x, not A (?x+1) => A (?x-1)\r
- True => A 0\r
---\r
-()\r
- \r
-\r
+import "Prelude"
+
+main = ()
+ where
+ A ?x => print ?x
+ A ?x, not A (?x+1) => A (?x-1)
+ True => A 0
+--
+0
+()
\ No newline at end of file