X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FContext.tex;fp=Chapters%2FContext.tex;h=9444a6e8e78b58ea9a25ec1214398456ccedab7f;hp=1b0268922932952500644424fb3916268881fef6;hb=4a1b0ec18b227d6ad82511e2968ea9b0023b4377;hpb=0ab64c5ce2ab968001c96475b310cf6f020bd475

diff --git a/Chapters/Context.tex b/Chapters/Context.tex
index 1b02689..9444a6e 100644
--- a/Chapters/Context.tex
+++ b/Chapters/Context.tex
@@ -17,7 +17,7 @@
   code after compilation, or using Template Haskell to inspect parts of the
   code you have written). This allows the full power of Haskell for generating
   a circuit. However it also creates severe limitations in the use of the
-  language (you can't use case statements in Lava, since they would be
+  language (you can't use case expressions in Lava, since they would be
   executed only once during circuit generation) and extra notational overhead.
 
   We will now have a look at the existing hardware description languages,
@@ -89,7 +89,7 @@
       possible in a completely reliable way yet. \cite[gill09]
       \item Some things are verbose to express. Especially ForSyDe suffers
       from a lot of notational overhead due to the Template Haskell approach
-      used. Since conditional statements are not supported, a lot of Haskell's
+      used. Since conditional expressions are not supported, a lot of Haskell's
       syntax sugar (if expressions, pattern matching, guards) cannot be used
       either, leading to more verbose notation as well.
       \item Polymorphism and higher order values are not supported within the