X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FFuture.tex;h=c5c4b2244617958495e74ad30f56761481a0b790;hp=9495922aa6aeaa8e10b32e1b7342d9b4a7d38af4;hb=dc5f13d5e3f95374aefb8911da917cb7ca45101c;hpb=060fd977e54d940afbd80accbf49bfef8964dde9 diff --git a/Chapters/Future.tex b/Chapters/Future.tex index 9495922..c5c4b22 100644 --- 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 = \\(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)