projects / lambda.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lambda.git
2015-03-01 jimpred attribution commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-26 Chrisedits commit | commitdiff | tree | snapshot
2015-02-26 Chrismerge working commit | commitdiff | tree | snapshot
2015-02-26 Chrisedits commit | commitdiff | tree | snapshot
2015-02-26 Chrisedits commit | commitdiff | tree | snapshot
2015-02-26 Chrisedits commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-26 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-25 Chrisedits commit | commitdiff | tree | snapshot
2015-02-25 ChrisMerge branch 'working' commit | commitdiff | tree | snapshot
2015-02-25 Chrisgeneralized conjunction commit | commitdiff | tree | snapshot
2015-02-25 jimadd note about Pierce commit | commitdiff | tree | snapshot
2015-02-25 jimwording commit | commitdiff | tree | snapshot
2015-02-24 jimprobably most efficient commit | commitdiff | tree | snapshot
2015-02-24 jimthird solution for left_head commit | commitdiff | tree | snapshot
2015-02-24 Chrismerge commit | commitdiff | tree | snapshot
2015-02-24 Chrisassignment 5 draft commit | commitdiff | tree | snapshot
2015-02-24 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-24 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-24 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-24 Chrisedits commit | commitdiff | tree | snapshot
2015-02-24 Chrismerging edits commit | commitdiff | tree | snapshot
2015-02-24 Chrisedits commit | commitdiff | tree | snapshot
2015-02-24 jimtweak explanation of Bunder/Urbanek pred commit | commitdiff | tree | snapshot
2015-02-24 Chrisedits commit | commitdiff | tree | snapshot
2015-02-24 Chrispred in system F commit | commitdiff | tree | snapshot
2015-02-24 jimadd comment commit | commitdiff | tree | snapshot
2015-02-24 jimposted week3-evaluation order commit | commitdiff | tree | snapshot
2015-02-24 jimpost week3-evaluation order commit | commitdiff | tree | snapshot
2015-02-24 jimrename topics/_week3_eval_order.mdwn to topics/week3_ev... commit | commitdiff | tree | snapshot
2015-02-24 jimcleanup commit | commitdiff | tree | snapshot
2015-02-23 Chrisedits commit | commitdiff | tree | snapshot
2015-02-23 Chrisedits commit | commitdiff | tree | snapshot
2015-02-23 Chrisdefined system f commit | commitdiff | tree | snapshot
2015-02-23 Chrisdefined system f commit | commitdiff | tree | snapshot
2015-02-23 jimtypos commit | commitdiff | tree | snapshot
2015-02-23 jimadd note about generalization commit | commitdiff | tree | snapshot
2015-02-23 jimadd note about generalization commit | commitdiff | tree | snapshot
2015-02-23 jimdelete cruft commit | commitdiff | tree | snapshot
2015-02-23 Chrisadjustments commit | commitdiff | tree | snapshot
2015-02-23 Chrisadjustments commit | commitdiff | tree | snapshot
2015-02-23 Chrisedits commit | commitdiff | tree | snapshot
2015-02-23 Chrisedits commit | commitdiff | tree | snapshot
2015-02-23 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-23 ChrisMerge branch 'working' commit | commitdiff | tree | snapshot
2015-02-23 Chrisedits in eval order commit | commitdiff | tree | snapshot
2015-02-23 jimpost answers commit | commitdiff | tree | snapshot
2015-02-23 jimpost week 3 answers commit | commitdiff | tree | snapshot
2015-02-23 jimfix link commit | commitdiff | tree | snapshot
2015-02-23 jimadd <a id=flipped-cons> commit | commitdiff | tree | snapshot
2015-02-23 jimcreate page commit | commitdiff | tree | snapshot
2015-02-23 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-23 Chrisincorporated commit | commitdiff | tree | snapshot
2015-02-23 jimadd <a id=cps-reverse> commit | commitdiff | tree | snapshot
2015-02-23 Chrisedits commit | commitdiff | tree | snapshot
2015-02-23 Chrisadded discussion of Montague's PTQ commit | commitdiff | tree | snapshot
2015-02-23 jimnot WIP commit | commitdiff | tree | snapshot
2015-02-23 jimtweak commit | commitdiff | tree | snapshot
2015-02-23 jimnote on Little Schemer Ch. 8 commit | commitdiff | tree | snapshot
2015-02-23 jimMore comments on The Little Schemer, non-total functions commit | commitdiff | tree | snapshot
2015-02-23 jimfix link commit | commitdiff | tree | snapshot
2015-02-23 jimadd Q comparing our exposition to The Little Schemer's commit | commitdiff | tree | snapshot
2015-02-23 jimadd <a id=little-h> commit | commitdiff | tree | snapshot
2015-02-23 jimThe Little Schemer's eternity commit | commitdiff | tree | snapshot
2015-02-23 jimadd comment about The Little Schemer commit | commitdiff | tree | snapshot
2015-02-23 jimadd note about The Little Schemer commit | commitdiff | tree | snapshot
2015-02-23 jimadd comment about The Little Schemer commit | commitdiff | tree | snapshot
2015-02-23 jimformatting commit | commitdiff | tree | snapshot
2015-02-23 jimadd comments about The Little Schemer commit | commitdiff | tree | snapshot
2015-02-22 jimformatting commit | commitdiff | tree | snapshot
2015-02-22 jimadd suggestion about leaf? function commit | commitdiff | tree | snapshot
2015-02-22 ChrisAdded system F commit | commitdiff | tree | snapshot
2015-02-22 jimtweaks commit | commitdiff | tree | snapshot
2015-02-22 Chrisstupid git commit | commitdiff | tree | snapshot
2015-02-22 Chrisedits commit | commitdiff | tree | snapshot
2015-02-22 jimmissing paren commit | commitdiff | tree | snapshot
2015-02-22 jimadd paragraph about Little Schemer commit | commitdiff | tree | snapshot
2015-02-22 Chrisedits commit | commitdiff | tree | snapshot
2015-02-22 jimtweaks commit | commitdiff | tree | snapshot
2015-02-22 ChrisMerge branch 'master' of main.jimpryor.net:/srv/lambda... commit | commitdiff | tree | snapshot
2015-02-22 jimadd explanatory paragraph commit | commitdiff | tree | snapshot
2015-02-22 ChrisMerge branch 'working' commit | commitdiff | tree | snapshot
2015-02-22 Chriswhy commit | commitdiff | tree | snapshot
2015-02-22 jimclean up last Q&A commit | commitdiff | tree | snapshot
2015-02-22 jimadd head to list functions commit | commitdiff | tree | snapshot
2015-02-22 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-22 Chrisedits commit | commitdiff | tree | snapshot
2015-02-22 Chrisedits commit | commitdiff | tree | snapshot
2015-02-22 Chrisedits commit | commitdiff | tree | snapshot
2015-02-21 Chrisedits commit | commitdiff | tree | snapshot
2015-02-21 Chrisedits commit | commitdiff | tree | snapshot
next
NYU Lambda Wiki v2