Add a section on expressions in the Core language.

[matthijs/master-project/report.git] / Chapters / Introduction.tex

diff --git a/Chapters/Introduction.tex b/Chapters/Introduction.tex
index 69fb7e403c0dea60697a32b2972add6a7c42aa61..0f0097bc67e3f54c7ac197698abfc79d543f5bfa 100644 (file)
--- a/Chapters/Introduction.tex
+++ b/Chapters/Introduction.tex
@@ -1,4 +1,4 @@
-\chapter{Introduction}
+\chapter[chap:introduction]{Introduction}

 This thesis describes the result and process of my work during my
 Master's assignment. In these pages, I will try to introduce the world
 of hardware descriptions, the world of functional languages and
 This thesis describes the result and process of my work during my
 Master's assignment. In these pages, I will try to introduce the world
 of hardware descriptions, the world of functional languages and


@@ -136,7 +136,7 @@ sum' (x:xs) acc = acc' : (sum' xs acc')
     newCircle.a(btex + etex);
     newCircle.out(btex $output$ etex) "framed(false)";
    
     newCircle.a(btex + etex);
     newCircle.out(btex $output$ etex) "framed(false)";
    

-    % Punt inp, a and out in one horizontal line, with reg above a
+    % Put inp, a and out in one horizontal line, with reg above a

     reg.c-a.c=(0cm, 2cm);
     a.c-inp.c=(3cm, 0cm);
     out.c-a.c=(3cm, 0cm);
     reg.c-a.c=(0cm, 2cm);
     a.c-inp.c=(3cm, 0cm);
     out.c-a.c=(3cm, 0cm);


@@ -177,6 +177,7 @@ sum' (x:xs) acc = acc' : (sum' xs acc')
     How can we describe the structural properties of a hardware design, using
     a functional language?
   \stopquotation
     How can we describe the structural properties of a hardware design, using
     a functional language?
   \stopquotation

+  \setupquotation[style=normal,spacebefore=]

 
   We can further split this into subquestions from a hardware perspective:
   \startitemize
 
   We can further split this into subquestions from a hardware perspective:
   \startitemize