s/could/would

jpvillaisaza · Apr 17, 2014 · 74965e6 · 74965e6
1 parent 897904d
commit 74965e6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/constructions.tex b/constructions.tex
@@ -118,7 +118,7 @@ \section{Initial and Terminal Objects}
 absurd :: Void -> a
 absurd = absurd
   \end{codehaskell}
-  Note that, in the absence of Convention \ref{con:hask}, we could
+  Note that, in the absence of Convention \ref{con:hask}, we would
   also have:
   \begin{codehaskell}
 absurd' :: Void -> a
@@ -134,7 +134,7 @@ \section{Initial and Terminal Objects}
 unit :: a -> ()
 unit _ = ()
   \end{codehaskell}
-  Without Convention \ref{con:hask}, we could also have:
+  Without Convention \ref{con:hask}, we would also have:
   \begin{codehaskell}
 unit' :: a -> ()
 unit' _ = undefined