Reduce with of some code to make a better fit.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 20:13:34 +0000 (21:13 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 20:13:34 +0000 (21:13 +0100)
Chapters/Normalization.tex

index 1d65f4a..0b5bc60 100644 (file)
                  -> State (Word, Word) 
                  -> (State (Word, Word), Word)
 
-      -- All arguments are an inital lambda (address, data, packed state)
+      -- All arguments are an inital lambda 
+      -- (address, data, packed state)
       regbank = λa.λd.λsp.
       -- There are nested let expressions at top level
       let