-import "JavaBuiltin" as Java\r
-\r
-infixl 5 minus\r
-\r
-minus = Java.isub\r
-\r
-main = 5 `minus` 3 `minus` 2\r
---\r
+import "JavaBuiltin" as Java
+
+infixl 5 minus
+
+minus = Java.isub
+
+main = 5 `minus` 3 `minus` 2
+--
0
\ No newline at end of file