idris-0.9.17: test/reg013/reg013.idr

module Main

main : IO ()
main = do
  printLn $ prim_lenString "hallo"
  printLn $ prim_lenString "1"
  printLn $ prim_lenString ""