projects / lambda.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lambda.git
2010-09-19 Jim Pryorweek2 tweak commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2 tweak commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2 tweak commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2 tweak commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2 reorg some alpha-equiv stuff commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek1 add link commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2 tweaks commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek1: functional ocaml turing complete after all commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2 tweaks (eta-reduction) commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2 tweaks commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2 tweaks commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2: expand on eta and extensionality commit | commitdiff | tree | snapshot
2010-09-19 Jim PryorMerge branch 'pryor' commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2 typo commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2: comments about alpha-conversion, de Bruijn commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek1 fixes commit | commitdiff | tree | snapshot
2010-09-19 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-19 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-19 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-19 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-19 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek3 tweaks commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek3 tweaks commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek3 tweaks commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek3 tweaks commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryortweaked week3 commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryortweaked week3 commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryorkept developing week3 commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryortweaked week3 commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryortweaked week3 commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryortweaked week3 commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryortweaked week3 commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryortweaked week3 commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryortweaked week3 commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryortweaked week3 commit | commitdiff | tree | snapshot
2010-09-18 Jim PryorMerge branch 'pryor' commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryorkept developing week3 commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 Jim PryorMerge branch 'pryor' commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryordeveloped week3 commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryorweek2 tweaks commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryorweek2 tweaks commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryorweek2 tweaks commit | commitdiff | tree | snapshot
2010-09-18 Jim Pryorweek2 tweaks commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas... commit | commitdiff | tree | snapshot
2010-09-18 Chris Barkerresized image commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas... commit | commitdiff | tree | snapshot
2010-09-18 Chris BarkerSzabolcsi reflexive image commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-18 Chris BarkerWriting lecture 2 commit | commitdiff | tree | snapshot
2010-09-18 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryorannounce student session commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryortweak week3 commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryortweak week2 commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryortweak week{2,3} commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryorupdate schedule commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryorremove sandbox commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryoradd assignment2 commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryortweak lists_and_numbers commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryorfix multiplication commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryorlists_and_numbers: lists v3 commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryortweak lists_and_numbers commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryortweak lists_and_numbers commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryortweak lists_and_numbers commit | commitdiff | tree | snapshot
2010-09-17 Jim Pryorexpanding lists_and_numbers commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryorspawn week3 commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryorweek1: add side-effects commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryortweak week2 commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryorreorg some links commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryormerge lists, numbers commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryortweak week2 commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryortweak week2 commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryordamn: undelim -> delim commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryortweak week2 commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryortweak week2 commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryortweak week2 commit | commitdiff | tree | snapshot
2010-09-16 Jim PryorMerge branch 'pryor' commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryorexpand/clean week2 commit | commitdiff | tree | snapshot
2010-09-16 Jim Pryoradd links to week1 commit | commitdiff | tree | snapshot
2010-09-16 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-16 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-16 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-16 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-16 barker(no commit message) commit | commitdiff | tree | snapshot
next
NYU Lambda Wiki v2