From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 1 Dec 2009 10:12:27 +0000 (+0100)
Subject: Add note about β-reduction for type variables.
X-Git-Tag: final-thesis~131
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;ds=inline;h=0cd3f69b1d8fb7e18a7e0b2bccd86a96d7fd009b;hp=0cd3f69b1d8fb7e18a7e0b2bccd86a96d7fd009b;p=matthijs%2Fmaster-project%2Freport.git

Add note about β-reduction for type variables.
---