X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FHardwareDescription.tex;h=04b660b4db682bc889bc258cf8c14a58475fbfe0;hp=2f72a8b18d9ebfb4c48968f6a008745524197576;hb=b01be2e1ed672b31da67a7a24228f8442d918f9a;hpb=77d45083a33d4c16f55a67010ed1a24db0e5d874 diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex index 2f72a8b..04b660b 100644 --- a/Chapters/HardwareDescription.tex +++ b/Chapters/HardwareDescription.tex @@ -789,7 +789,7 @@ acc in s = (s', out) variables are used by a function can be completely determined from its type signature (as opposed to the stream approach, where a function looks the same from the outside, regardless of what state variables it - uses (or whether it's stateful at all). + uses or whether it's stateful at all). This approach is the one chosen for Cλash and will be examined more closely below.