week2: expand on eta and extensionality
[lambda.git] / notes_and_schedule.mdwn
2010-09-18 barker(no commit message)
2010-09-17 Jim Pryorupdate schedule
2010-09-16 Jim Pryortitle week1
2010-09-15 Jim Pryorstart week1 summary
2010-09-15 Jim Pryorschedule->notes_and_schedule