-import "Prelude"\r
-\r
-a,b,c,d :: Either Boolean Boolean\r
-a = Left False\r
-b = Left True \r
-c = Right False\r
-d = Right True\r
-\r
-main = a == a\r
- && a < b\r
- && a < c\r
- && a < d\r
- \r
- && b > a\r
- && b == b\r
- && b < c\r
- && b < d\r
-\r
- && c > a\r
- && c > b\r
- && c == c\r
- && c < d\r
-\r
- && d > a\r
- && d > b\r
- && d > c\r
- && d == d\r
---\r
+import "Prelude"
+
+a,b,c,d :: Either Boolean Boolean
+a = Left False
+b = Left True
+c = Right False
+d = Right True
+
+main = a == a
+ && a < b
+ && a < c
+ && a < d
+
+ && b > a
+ && b == b
+ && b < c
+ && b < d
+
+ && c > a
+ && c > b
+ && c == c
+ && c < d
+
+ && d > a
+ && d > b
+ && d > c
+ && d == d
+--
true
\ No newline at end of file