From: Christiaan Baaij Date: Wed, 27 Jan 2010 08:56:56 +0000 (+0100) Subject: Add quote command, and use it X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=8268e97dfcea42c260d31d41dedd07f9170d1554 Add quote command, and use it --- 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.