git.iko.soy/rowtype-yoga/purescript-native
on 28fa718 help sign in
14 lines 252 B history raw
1module TypeDecl where
3 import Prelude
5 k :: String -> Number -> String
6 k x y = x
8 iterate :: forall a. Number -> (a -> a) -> a -> a
9 iterate 0 f a = a
10 iterate n f a = iterate (n - 1) f (f a)
12module Main where
14main = Trace.trace "Done"