projects
/
matthijs
/
master-project
/
dsd-paper.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
edf6a3b
)
Add quote command, and use it
author
Christiaan Baaij
<christiaan.baaij@gmail.com>
Wed, 27 Jan 2010 08:56:56 +0000
(09:56 +0100)
committer
Christiaan Baaij
<christiaan.baaij@gmail.com>
Wed, 27 Jan 2010 08:56:56 +0000
(09:56 +0100)
cλash.tex
patch
|
blob
|
history
diff --git
a/cλash.tex
b/cλash.tex
index 3c16f27731747427b9bb1bb675f5ea49d05894ef..8445953825739811616310570f31323065fe71bb 100644
(file)
--- a/
cλash.tex
+++ b/
cλash.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).
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
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.
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.
belonging to this type. The collection for a sum type is the
union of the the collections for each of the constructors.