projects
/
matthijs
/
master-project
/
haskell-symposium-talk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Hopefully finalized presentation
[matthijs/master-project/haskell-symposium-talk.git]
/
howdoesitwork.lhs
diff --git
a/howdoesitwork.lhs
b/howdoesitwork.lhs
index b9970d6784d570e7d2e1863be8c4b2e0fe064901..4c26ca534ffecfa49b9e7362b68d2f0c985316c6 100644
(file)
--- 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
\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 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
}
\item We're in luck with the GHC API update of 6.10 and onwards
}