From 8268e97dfcea42c260d31d41dedd07f9170d1554 Mon Sep 17 00:00:00 2001 From: Christiaan Baaij Date: Wed, 27 Jan 2010 09:56:56 +0100 Subject: [PATCH] Add quote command, and use it --- "c\316\273ash.tex" | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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. -- 2.30.2