From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 7 Dec 2009 14:19:48 +0000 (+0100)
Subject: Use η/β-expansion instead of η/β-abstraction.
X-Git-Tag: final-thesis~51
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=58a5aa7ca5edc07ba1070f4f4ed384b42e36e8f3;hp=58a5aa7ca5edc07ba1070f4f4ed384b42e36e8f3

Use η/β-expansion instead of η/β-abstraction.
---