idris-0.9.11: test/ffi003/test024.idr

module Main

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