@@ -148,6 +148,10 @@ instance Monad List where
148%include "math.h"
148%include "math.h"
151+pow : (Num a) => a -> Nat -> a
153+pow x (S n) = x * (pow x n)
151exp : Float -> Float
155exp : Float -> Float
152exp x = prim__floatExp x
156exp x = prim__floatExp x