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)
commit0cd3f69b1d8fb7e18a7e0b2bccd86a96d7fd009b
treefa19230f900558c7a94514b2ce33b83ef28e4d61
parent222070c846ebc49b0b569386fe906edb617bda0b
Add note about β-reduction for type variables.
Chapters/Normalization.tex