lambda.git
2010-09-20 Chris Barkerminor
2010-09-20 Jim PryorMerge branch 'pryor'
2010-09-20 Jim Pryorreword assignment 2
2010-09-20 Chris Barkerfiddles
2010-09-20 Jim Pryorassignment 2 tweak
2010-09-20 Jim Pryorassignment 2 tweak
2010-09-20 Jim Pryorassignment 2 formatting
2010-09-20 Jim PryorMerge branch 'pryor'
2010-09-20 Jim Pryorweek2: more fussy notes
2010-09-20 Chris BarkerA way to test homework solutions for students
2010-09-20 barker(no commit message)
2010-09-20 barker(no commit message)
2010-09-20 barker(no commit message)
2010-09-20 barker(no commit message)
2010-09-20 barker(no commit message)
2010-09-20 barker(no commit message)
2010-09-20 barker(no commit message)
2010-09-20 Jim Pryorexpand assignment 2
2010-09-20 Jim Pryorweek2: tweak, undecidability of pred logic
2010-09-19 Jim Pryorpost week2 stuff
2010-09-19 Jim Pryorweek3 tweak
2010-09-19 Jim Pryorweek3 tweak
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 Pryorweek1 add link
2010-09-19 Jim Pryorweek2 tweaks
2010-09-19 Jim Pryorweek1: functional ocaml turing complete after all
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 Jim Pryorweek1 fixes
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-19 Jim Pryorweek3 tweaks
2010-09-19 Jim Pryorweek3 tweaks
2010-09-19 Jim Pryorweek3 tweaks
2010-09-19 Jim Pryorweek3 tweaks
2010-09-18 Jim Pryortweaked week3
2010-09-18 Jim Pryortweaked week3
2010-09-18 Jim Pryorkept developing week3
2010-09-18 Jim Pryortweaked week3
2010-09-18 Jim Pryortweaked week3
2010-09-18 Jim Pryortweaked week3
2010-09-18 Jim Pryortweaked week3
2010-09-18 Jim Pryortweaked week3
2010-09-18 Jim Pryortweaked week3
2010-09-18 Jim Pryortweaked week3
2010-09-18 Jim PryorMerge branch 'pryor'
2010-09-18 Jim Pryorkept developing week3
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 Jim Pryordeveloped week3
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 Chris Barkerresized image
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 BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-09-18 Chris BarkerSzabolcsi reflexive image
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-18 barker(no commit message)
2010-09-17 Jim Pryorannounce student session
2010-09-17 Jim Pryortweak week3
2010-09-17 Jim Pryortweak week2
2010-09-17 Jim Pryortweak week{2,3}
2010-09-17 Jim Pryorupdate schedule
2010-09-17 Jim Pryorremove sandbox
2010-09-17 Jim Pryoradd assignment2
2010-09-17 Jim Pryortweak lists_and_numbers
next