From: Jim Pryor <profjim@jimpryor.net>
Date: Sun, 19 Sep 2010 18:00:43 +0000 (-0400)
Subject: week2: expand on eta and extensionality
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=08a3dd2c1b83fb8e5b31be0895a9d257cc915446;hp=08a3dd2c1b83fb8e5b31be0895a9d257cc915446

week2: expand on eta and extensionality

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---