X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fhaskell-symposium-talk.git;a=blobdiff_plain;f=howdoesitwork.lhs;fp=howdoesitwork.lhs;h=4c26ca534ffecfa49b9e7362b68d2f0c985316c6;hp=b9970d6784d570e7d2e1863be8c4b2e0fe064901;hb=b4b0e8a2e09609f70bc5ed0fb69a8d966e4a6813;hpb=d514bd151f4bd5bbb5ae6828902a778222de9738

diff --git a/howdoesitwork.lhs b/howdoesitwork.lhs
index b9970d6..4c26ca5 100644
--- a/howdoesitwork.lhs
+++ b/howdoesitwork.lhs
@@ -14,7 +14,8 @@
   \end{itemize}
 }\note[itemize]{
 \item Here is a quick insight as to how WE translate Haskell to Hardware
+\item Reduction rules are used to get a required normal form.
 \item Normal form already looks like hardware (components and lines)
-\item You can also use TH, like ForSyDe. Or traverse datastructures, like ?
+\item You can also use TH, like ForSyDe. Or traverse datastructures, like Lava?
 \item We're in luck with the GHC API update of 6.10 and onwards
 }