projects / lambda.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lambda.git
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
2015-02-21 Chrisedits commit | commitdiff | tree | snapshot
2015-02-21 Chrisedits commit | commitdiff | tree | snapshot
2015-02-21 Chrisstarting lecture on types commit | commitdiff | tree | snapshot
2015-02-21 Christypos commit | commitdiff | tree | snapshot
2015-02-21 Chrisre-solved the mutual recursion problem, just for fun... commit | commitdiff | tree | snapshot
2015-02-21 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-02-21 Jimreplace tattoo image commit | commitdiff | tree | snapshot
2015-02-21 jimfix some markup commit | commitdiff | tree | snapshot
2015-02-20 jimpost homework4 commit | commitdiff | tree | snapshot
2015-02-20 jimpost homework4 commit | commitdiff | tree | snapshot
2015-02-20 jimrename exercises/_assignment4.mdwn to exercises/assignm... commit | commitdiff | tree | snapshot
2015-02-20 jimpost tree questions commit | commitdiff | tree | snapshot
2015-02-20 jimtweak commit | commitdiff | tree | snapshot
2015-02-20 jimcreate page commit | commitdiff | tree | snapshot
2015-02-20 jimadd link to hint commit | commitdiff | tree | snapshot
2015-02-20 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-20 jimrevised inf arithmetic question again, like to ordinals... commit | commitdiff | tree | snapshot
2015-02-20 jimremind about section shorthand commit | commitdiff | tree | snapshot
2015-02-20 jimmarkup commit | commitdiff | tree | snapshot
2015-02-20 jimtweak inf arithmetic comment commit | commitdiff | tree | snapshot
2015-02-20 jimunfortunately, the infinite arithmetic question's argum... commit | commitdiff | tree | snapshot
2015-02-20 jimcaps commit | commitdiff | tree | snapshot
2015-02-20 jimadd more list functions to set question commit | commitdiff | tree | snapshot
2015-02-20 jimneed empty? for set questions commit | commitdiff | tree | snapshot
2015-02-20 jimupdate links commit | commitdiff | tree | snapshot
2015-02-20 jimadd anchor #deriving-y commit | commitdiff | tree | snapshot
2015-02-20 jimmarkup commit | commitdiff | tree | snapshot
2015-02-20 jimadd chris's YY question, further refinements elsewhere commit | commitdiff | tree | snapshot
next
NYU Lambda Wiki v2