projects / lambda.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lambda.git
2010-09-20 Jim Pryortweak ml code/instructions commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryortweak ml code/instructions commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryortweak ml code/instructions commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryornumbers: tweaks commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryorusing: tweaks commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryorstart linking to lambda calculators commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryordelete ocaml binaries commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryorfixed merge commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryormove *.js, *.ml -> code/ commit | commitdiff | tree | snapshot
2010-09-20 Chris Barkerminor commit | commitdiff | tree | snapshot
2010-09-20 Jim PryorMerge branch 'pryor' commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryorreword assignment 2 commit | commitdiff | tree | snapshot
2010-09-20 Chris Barkerfiddles commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryorassignment 2 tweak commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryorassignment 2 tweak commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryorassignment 2 formatting commit | commitdiff | tree | snapshot
2010-09-20 Jim PryorMerge branch 'pryor' commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryorweek2: more fussy notes commit | commitdiff | tree | snapshot
2010-09-20 Chris BarkerA way to test homework solutions for students commit | commitdiff | tree | snapshot
2010-09-20 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-20 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-20 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-20 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-20 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-20 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-20 barker(no commit message) commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryorexpand assignment 2 commit | commitdiff | tree | snapshot
2010-09-20 Jim Pryorweek2: tweak, undecidability of pred logic commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorpost week2 stuff commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek3 tweak commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek3 tweak commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2 tweak commit | commitdiff | tree | snapshot
2010-09-19 Jim Pryorweek2: ~~>_eta 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 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
next
NYU Lambda Wiki v2