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: Loop unrolling
+TODO: Reference Christian for loop unrolling

 \stopitemize
 
 \section{Multiple clock domains and asynchronicity}
 \stopitemize
 
 \section{Multiple clock domains and asynchronicity}