idris-0.9.9: test/test024/test024.idr

module Main

main : IO ()
main = do l <- getLine
          let ll = l ++ l
          putStrLn ll