Split "extended β-reduction" into two transformations.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 12 Oct 2009 11:15:45 +0000 (13:15 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 12 Oct 2009 11:15:45 +0000 (13:15 +0200)

No differences found