Move a part of β-reduction to application propagation.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 18 May 2010 08:16:07 +0000 (10:16 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 18 May 2010 08:18:01 +0000 (10:18 +0200)

No differences found