idris-1.1.0: test/interpret001/double-echo.idr

module Main

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