X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FIntroduction.tex;h=1b24aced17e7153e055e276fe6393e0ee839deb1;hp=af334a3208a87f1611b536fd0e3510277031fa64;hb=58a5aa7ca5edc07ba1070f4f4ed384b42e36e8f3;hpb=75d1001c7a7809c80bc4113477ad90b12f23b80f

diff --git a/Chapters/Introduction.tex b/Chapters/Introduction.tex
index af334a3..1b24ace 100644
--- a/Chapters/Introduction.tex
+++ b/Chapters/Introduction.tex
@@ -65,7 +65,7 @@ advanced types and provides a case study.
     % Draw a dotted line between the middle operations
     ncline(a2)(a3) "linestyle(dashed withdots)", "arrows(-)";
   \stopuseMPgraphic
-  \placeexample[here][ex:AndWord]{Simple architecture that inverts a vector of bits.}
+  \placeexample[][ex:AndWord]{Simple architecture that inverts a vector of bits.}
     \startcombination[2*1]
       {\typebufferlam{AndWord}}{Haskell description of the architecture.}
       {\boxedgraphic{AndWord}}{The architecture described by the Haskell description.}
@@ -252,7 +252,7 @@ programming. Since we are not the first to have merged these approaches,
 a number of other functional hardware description languages are briefly
 described.
 
-Chapter two describes the exploratory part of this research: How can we
+Chapter two describes the exploratory part of this research: how can we
 describe hardware using a functional language and how can we use functional
 concepts for hardware descriptions?