projects
/
matthijs
/
master-project
/
report.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add / update TODOs.
[matthijs/master-project/report.git]
/
Chapters
/
Future.tex
diff --git
a/Chapters/Future.tex
b/Chapters/Future.tex
index
9495922
..
d83f600
100644
(file)
--- a/
Chapters/Future.tex
+++ b/
Chapters/Future.tex
@@
-104,7
+104,7
@@
but can be called explicitely by a hardware description.
f1 >> f2 = f1 >>= \_ -> f2
(>>=) :: Stateful s1 r1 -> (r1 -> Stateful s2 r2) -> Stateful (s1, s2) r2
f1 >> f2 = f1 >>= \_ -> f2
(>>=) :: Stateful s1 r1 -> (r1 -> Stateful s2 r2) -> Stateful (s1, s2) r2
-f1 >>= f2 = \
\
(s1, s2) -> let (s1', r1) = f1 s1
+f1 >>= f2 = \(s1, s2) -> let (s1', r1) = f1 s1
(s2', r2) = f2 r1 s2
in ((s1', s2'), r2)
(s2', r2) = f2 r1 s2
in ((s1', s2'), r2)
@@
-241,7
+241,7
@@
transformations to prevent infinite expansion. The main challenge here is how
to make this set complete, or at least define the constraints on possible
recursion which guarantee it will work.
to make this set complete, or at least define the constraints on possible
recursion which guarantee it will work.
-TODO:
L
oop unrolling
+TODO:
Reference Christian for l
oop unrolling
\stopitemize
\section{Multiple clock domains and asynchronicity}
\stopitemize
\section{Multiple clock domains and asynchronicity}