Some fixes to the prototype chapter.

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

diff --git a/Chapters/Abstract.tex b/Chapters/Abstract.tex
index 18a2b7cb812ce5152acd329d0ed5cf38074e8f1e..798b9513fb3363d0822257c139e9ae62a325235c 100644 (file)
--- 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