-import "JavaBuiltin" as Java\r
-\r
-(+) = Java.iadd\r
-(-) = Java.isub\r
-(*) = Java.imul\r
-\r
-data List a = Nil | Cons a (List a) \r
-\r
-compose :: List (a -> a) -> a -> a\r
-compose Nil x = x\r
-compose (Cons h t) x = compose t (h x)\r
-\r
-succ x = x + 1\r
-prec x = x - 1\r
-double x = x * 2\r
-\r
-f = compose (Cons succ (Cons double (Cons prec Nil)))\r
-main = f 13\r
---\r
+import "JavaBuiltin" as Java
+
+(+) = Java.iadd
+(-) = Java.isub
+(*) = Java.imul
+
+data List a = Nil | Cons a (List a)
+
+compose :: List (a -> a) -> a -> a
+compose Nil x = x
+compose (Cons h t) x = compose t (h x)
+
+succ x = x + 1
+prec x = x - 1
+double x = x * 2
+
+f = compose (Cons succ (Cons double (Cons prec Nil)))
+main = f 13
+--