idris-0.9.19.1: samples/tutorial/foo.idr

module foo

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

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