X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=c%CE%BBash.tex;h=8445953825739811616310570f31323065fe71bb;hp=3c16f27731747427b9bb1bb675f5ea49d05894ef;hb=8268e97dfcea42c260d31d41dedd07f9170d1554;hpb=edf6a3b674b4ac1893db075da81069ac0c088002

diff --git "a/c\316\273ash.tex" "b/c\316\273ash.tex"
index 3c16f27..8445953 100644
--- "a/c\316\273ash.tex"
+++ "b/c\316\273ash.tex"
@@ -678,9 +678,9 @@ sumif _ _ _ = 0
         structure. In fact, the built-in tuple types are just algebraic product
         types (and are thus supported in exactly the same way).
 
-        The ``product'' in its name refers to the collection of values belonging
-        to this type. The collection for a product type is the Cartesian
-        product of the collections for the types of its fields.
+        The \quote{product} in its name refers to the collection of values 
+        belonging to this type. The collection for a product type is the 
+        Cartesian product of the collections for the types of its fields.
 
         These types are translated to \VHDL\ record types, with one field for
         every field in the constructor. This translation applies to all single
@@ -705,7 +705,7 @@ sumif _ _ _ = 0
         for our purposes this distinction does not really make a
         difference, so this distinction is note made.
 
-        The ``sum'' in its name refers again to the collection of values
+        The \quote{sum} in its name refers again to the collection of values
         belonging to this type. The collection for a sum type is the
         union of the the collections for each of the constructors.