week2: comments about alpha-conversion, de Bruijn
[lambda.git] / chris_notes
2010-09-15 Jim Pryorcontinue week1 summary, add week2 pages