Use η/β-expansion instead of η/β-abstraction.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 14:19:48 +0000 (15:19 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 14:20:34 +0000 (15:20 +0100)

No differences found