minor
[lambda.git] / week2.mdwn
2010-09-20 Jim PryorMerge branch 'pryor'
2010-09-20 Jim Pryorweek2: more fussy notes
2010-09-20 Jim Pryorweek2: tweak, undecidability of pred logic
2010-09-19 Jim Pryorweek2 tweak
2010-09-19 Jim Pryorweek2: ~~>_eta
2010-09-19 Jim Pryorweek2 tweak
2010-09-19 Jim Pryorweek2 tweak
2010-09-19 Jim Pryorweek2 tweak
2010-09-19 Jim Pryorweek2 tweak
2010-09-19 Jim Pryorweek2 tweak
2010-09-19 Jim Pryorweek2 reorg some alpha-equiv stuff
2010-09-19 Jim Pryorweek2 tweaks
2010-09-19 Jim Pryorweek2 tweaks (eta-reduction)
2010-09-19 Jim Pryorweek2 tweaks
2010-09-19 Jim Pryorweek2 tweaks
2010-09-19 Jim Pryorweek2: expand on eta and extensionality
2010-09-19 Jim PryorMerge branch 'pryor'
2010-09-19 Jim Pryorweek2 typo
2010-09-19 Jim Pryorweek2: comments about alpha-conversion, de Bruijn
2010-09-19 barker(no commit message)
2010-09-19 barker(no commit message)
2010-09-19 barker(no commit message)
2010-09-19 barker(no commit message)
2010-09-19 barker(no commit message)
2010-09-18 Jim PryorMerge branch 'pryor'
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 Jim PryorMerge branch 'pryor'
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 Jim Pryorweek2 tweaks
2010-09-18 Jim Pryorweek2 tweaks
2010-09-18 Jim Pryorweek2 tweaks
2010-09-18 Jim Pryorweek2 tweaks
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 barker(no commit message)
2010-09-18 Chris BarkerWriting lecture 2
2010-09-17 Jim Pryortweak week2
2010-09-17 Jim Pryortweak week{2,3}
2010-09-16 Jim Pryorspawn week3
2010-09-16 Jim Pryortweak week2
2010-09-16 Jim Pryortweak week2
2010-09-16 Jim Pryortweak week2
2010-09-16 Jim Pryortweak week2
2010-09-16 Jim Pryortweak week2
2010-09-16 Jim Pryortweak week2
2010-09-16 Jim PryorMerge branch 'pryor'
2010-09-16 Jim Pryorexpand/clean week2
2010-09-16 Jim Pryorwriting up week2
2010-09-15 Jim Pryorcontinue week1 summary, add week2 pages