Make the normal form use only recursive lets again.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 4 Nov 2009 11:47:34 +0000 (12:47 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 4 Nov 2009 11:48:33 +0000 (12:48 +0100)
commit4703461b0093f5c9a83876fad9d21a34c7a28eb4
tree325a625385e7f17116690592a95ce4d223574576
parentdde172499703d199e396b84bb6d5c13dae8cdd8d
Make the normal form use only recursive lets again.

Previously, both recursive and non-recursive lets were allowed, which made
a lot of transformations a lot more complex. Now, all lets are made
recursive again, which makes things simpler.

Also do some other miscellaneous fixes in the Normalization chapter.
Chapters/Normalization.tex