--- /dev/null
+import "JavaBuiltin" as Java\r
+\r
+infixl 7 (*)\r
+infixl 6 (+)\r
+\r
+(+) :: Double -> Double -> Double\r
+(+) = Java.dadd\r
+(*) :: Double -> Double -> Double\r
+(*) = Java.dmul\r
+\r
+importJava "java.lang.Math" where\r
+ sqrt :: Double -> Double\r
+ sin :: Double -> Double\r
+ cos :: Double -> Double\r
+\r
+square x = x * x\r
+\r
+length x y = sqrt (square x + square y)\r
+\r
+pythagoras a = length (cos a) (sin a)\r
+\r
+main = pythagoras 2.0\r
+--\r
+1.0\r