Functor.md: contradicting case removed (#73)

* Functor.md: contradicting case removed * issue 71: comment of @ehamberg considered
stefan-hoeck · Jan 23, 2025 · b5d4246 · b5d4246
1 parent f03a03e
commit b5d4246
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Tutorial/Functor.md b/src/Tutorial/Functor.md
@@ -728,6 +728,9 @@ CSVField Email where
 
 isPasswordChar : Char -> Bool
 isPasswordChar ' ' = True
+-- please note that isSpace holds as well for other characaters than ' '
+-- e.g. for non-breaking space: isSpace '\160' = True
+-- but only ' ' shall be llowed in passwords
 isPasswordChar c   = not (isControl c) && not (isSpace c)
 
 isValidPassword : String -> Bool