s/isZero :: Bool -> Bool/isZero :: Nat -> Bool

jpvillaisaza · Oct 31, 2014 · b1fa96f · b1fa96f
1 parent 47b042c
commit b1fa96f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/categories.tex b/categories.tex
@@ -534,7 +534,7 @@ \section{Categories}
     \texthaskell{not :: Bool -> Bool}, and
 
   \item
-    \texthaskell{isZero :: Bool -> Bool},
+    \texthaskell{isZero :: Nat -> Bool},
 
   \end{itemize}
   the identity functions, \texthaskell{id}, and composite functions