idris-0.9.9: test/reg013/reg013.idr

module Main

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