mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-26 05:01:34 +03:00
9 lines
133 B
Idris
9 lines
133 B
Idris
module Tail
|
|
|
|
import Data.Strings
|
|
|
|
main : IO ()
|
|
main = assert_total $ do
|
|
putStrLn $ strTail ""
|
|
putStrLn $ strTail " Hello World!"
|