X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FContext.tex;h=7e620a073e3cd648459b274e23d7543ea5283c9b;hp=45c16864d17abc38cb0f0a114abce1a5c1527c60;hb=75d1001c7a7809c80bc4113477ad90b12f23b80f;hpb=8d8f1604f480e79ec31a6c706e25ca1d9a6d6add diff --git a/Chapters/Context.tex b/Chapters/Context.tex index 45c1686..7e620a0 100644 --- a/Chapters/Context.tex +++ b/Chapters/Context.tex @@ -95,7 +95,7 @@ \stopalignment \blank[medium] - Template Haskell is an extension to the \GHC compiler that allows + Template Haskell is an extension to the \GHC\ compiler that allows a program to mark some parts to be evaluated \emph{at compile time}. These \emph{templates} can then access the abstract syntax tree (\small{AST}) of the program that is being compiled and @@ -130,7 +130,7 @@ with an \small{EDSL} approach, it can get confusing when to use \small{TH} and when not to. \item Function hierarchies cannot be observed in an \small{EDSL}. - For example, Lava generates a single flat \VHDL architecture, + For example, Lava generates a single flat \VHDL\ architecture, which has no structure whatsoever. Even though this is strictly correct, it offers no support to the synthesis software about which parts of the system can best be placed together and makes