deque-blog/passwordIOstart.idr

## passwordIOstart.idr
password : Nat -> (String -> Bool) -> IO Bool
password maxAttempt valid = do
  putStrLn "Password:"     -- Ask the user for a password
  attempt <- getLine       -- Read the password entered by the user
  if valid attempt         -- In case of valid password:
  -- More code
	password : Nat -> (String -> Bool) -> IO Bool
	password maxAttempt valid = do
	putStrLn "Password:" -- Ask the user for a password
	attempt <- getLine -- Read the password entered by the user
	if valid attempt -- In case of valid password:
	-- More code