X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=4f4ee15a12d6b8a4aac416d4f14bcac1fe0c090b;hp=f11788f4348fff5082a7a79bc5290057489b50d1;hb=2c28bdc6ca8e883697d9640166bf17fb8a329cec;hpb=124f838008d9e63d36d6626ebeb453d9f83129dc

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index f11788f..4f4ee15 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -2354,9 +2354,9 @@
       To be able to formally show that each transformation properly
       preserves the meaning of every expression, we require an exact
       definition of the \emph{meaning} of every expression, so we can
-      compare them. Currently there seems to be no formal definition of
-      the meaning or semantics of \GHC's core language, only informal
-      descriptions are available.
+      compare them. A definition of the operational semantics of \GHC's Core
+      language is available \cite[sulzmann07], but this does not seem
+      sufficient for our goals (but it is a good start).
 
       It should be possible to have a single formal definition of
       meaning for Core for both normal Core compilation by \GHC and for