idris-1.0: samples/tutorial/Foo.idr

module foo

namespace x
  test : Int -> Int
  test x = x * 2

namespace y
  test : String -> String
  test x = x ++ x