Add note about β-reduction for type variables.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 1 Dec 2009 10:12:27 +0000 (11:12 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 1 Dec 2009 10:17:36 +0000 (11:17 +0100)

No differences found