Use \VHDL\ (etc.) instead of relying on \autoinsertnextspace.

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

diff --git a/Chapters/Conclusions.tex b/Chapters/Conclusions.tex
index fff4b3d7f4dae2d493b13997b508b58cc245ce19..a8d7e9b5f5b7149f6801b97604f0b6aa2368afef 100644 (file)
--- a/Chapters/Conclusions.tex
+++ b/Chapters/Conclusions.tex
@@ -12,7 +12,7 @@ assigment in the hardware.
 Useful features from the functional perspective, like polymorphism and
 higher-order functions and expressions also prove suitable to describe
 hardware and our implementation shows that they can be translated to
-\VHDL as well.
+\VHDL\ as well.
 
 A prototype compiler was created in this research. For this prototype the
 Haskell language was chosen as the input language, instead of creating a new
@@ -63,7 +63,7 @@ It is expected that Cλash will be used as a tool in education at the
 University of Twente soon, hopefully this will provide a better insight
 in how the system performs.
 
-The prototype compiler has a clear design. Its frontend is taken from the \GHC
+The prototype compiler has a clear design. Its frontend is taken from the \GHC\
 compiler and desugares Haskell into a small, but functional and typed
 language, called \emph{Core}. Cλash adds a transformation system that reduces
 this small language to a normal form and a simple backend that performs a