From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 18 May 2010 08:16:07 +0000 (+0200)
Subject: Move a part of β-reduction to application propagation.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=843e885ba4a4b88693256b62e593407a63141823;hp=843e885ba4a4b88693256b62e593407a63141823;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Move a part of β-reduction to application propagation.
---