X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FAbstract.tex;fp=Chapters%2FAbstract.tex;h=798b9513fb3363d0822257c139e9ae62a325235c;hp=18a2b7cb812ce5152acd329d0ed5cf38074e8f1e;hb=a8cc8a42f676a1ab1ddca1c84b017d059610783d;hpb=28b745e6faf774843ecdfbce67bdd22b8b4fc550

diff --git a/Chapters/Abstract.tex b/Chapters/Abstract.tex
index 18a2b7c..798b951 100644
--- a/Chapters/Abstract.tex
+++ b/Chapters/Abstract.tex
@@ -3,7 +3,7 @@
 Functional hardware description languages have been around for a while,
 but never saw adoption on a large scale. Even though advanced features
 like higher order functions and polymorphism could enable very natural
-parameterization of hardware descriptions, the conventional hardware
+parametrization of hardware descriptions, the conventional hardware
 description languages \VHDL\ and Verilog are still most widely used.
 
 Cλash is a new functional hardware description language using Haskell's
@@ -21,8 +21,8 @@ limiting Cλash to synchronous systems with a single clock domain.
 
 A prototype compiler for Cλash has been implemented that can generate
 an equivalent \VHDL\ description (using mostly structural \VHDL). The
-prototype uses the frontend (parser, typechecker, desugarer) of the
-existing \GHC\ Haskell compiler. This frontend generates a \emph{Core}
+prototype uses the front-end (parser, type-checker, desugarer) of the
+existing \GHC\ Haskell compiler. This front-end generates a \emph{Core}
 version of the description, which is a very small typed functional
 language. A normalizing system of transformations brings this Core
 version into a normal form that has any complex parts (higher order