Sophie: idris-0.9.9-1.fc19 i686

idris-0.9.9-1.fc19.i686.rpm

module foo

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

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