Correction

sudonatalie · Jun 6, 2017 · 973e933 · 973e933
1 parent 5db7f34
commit 973e933
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Presentation/Presentation.lhs b/Presentation/Presentation.lhs
@@ -121,7 +121,7 @@ GHC Backend translates Agda into Haskell \citep{benke2007}
 \begin{itemize}
   \item Pretty good performance compiling with GHC
   \item Lack of GHC optimisations that occur around unsafe coercions \citep{fredriksson2011}
-  \item Additional passes over generated code necessary to improve
+  \item Additional passes over intermediate code necessary to improve
 \end{itemize}
 \end{frame}