projects / lambda.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lambda.git
2015-02-18 jimmarkup and typos, add commented note commit | commitdiff | tree | snapshot
2015-02-18 jimlink to Unit commit | commitdiff | tree | snapshot
2015-02-18 jimlink to Unit commit | commitdiff | tree | snapshot
2015-02-18 jimfinish commit | commitdiff | tree | snapshot
2015-02-18 jimupdate commit | commitdiff | tree | snapshot
2015-02-18 jimupdate commit | commitdiff | tree | snapshot
2015-02-18 jimmarkup commit | commitdiff | tree | snapshot
2015-02-18 jimcreate page commit | commitdiff | tree | snapshot
2015-02-18 jimadd more anchors commit | commitdiff | tree | snapshot
2015-02-18 jimpost answers commit | commitdiff | tree | snapshot
2015-02-18 jimrename exercises/_assignment2_answers.mdwn to exercises... commit | commitdiff | tree | snapshot
2015-02-18 jimpost Hankin Chapter 4 reading, answers to homework 2 commit | commitdiff | tree | snapshot
2015-02-18 jimfurther refinements commit | commitdiff | tree | snapshot
2015-02-18 jimfix markup commit | commitdiff | tree | snapshot
2015-02-18 jimadd shortcut rule to translation, refined exposition commit | commitdiff | tree | snapshot
2015-02-18 jimAdd old translation scheme back in (commented out)... commit | commitdiff | tree | snapshot
2015-02-17 Christypo commit | commitdiff | tree | snapshot
2015-02-17 Christhe succ fixed point as arithmetic infinity commit | commitdiff | tree | snapshot
2015-02-17 Chrisedits commit | commitdiff | tree | snapshot
2015-02-17 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-17 Chrisedits for fixed-point commit | commitdiff | tree | snapshot
2015-02-17 Chrisreplace get_length with length commit | commitdiff | tree | snapshot
2015-02-17 Chrisadded disclaimer about revised lambda->CL map commit | commitdiff | tree | snapshot
2015-02-16 Chrisadjust commit | commitdiff | tree | snapshot
2015-02-16 Chrisswitched the map from lambda to CL back to Barendregt's commit | commitdiff | tree | snapshot
2015-02-16 jimtweak commit | commitdiff | tree | snapshot
2015-02-15 jimcleanup commit | commitdiff | tree | snapshot
2015-02-15 jimKyle pointed out we had them define head in terms of... commit | commitdiff | tree | snapshot
2015-02-15 jimupdate links commit | commitdiff | tree | snapshot
2015-02-15 jimupdate links commit | commitdiff | tree | snapshot
2015-02-15 jimadd #other-lists commit | commitdiff | tree | snapshot
2015-02-15 jimadd new encodings commit | commitdiff | tree | snapshot
2015-02-15 jimrefinements commit | commitdiff | tree | snapshot
2015-02-14 jimglossary for joke commit | commitdiff | tree | snapshot
2015-02-14 jimadd Lennon link commit | commitdiff | tree | snapshot
2015-02-14 jimcleanup commit | commitdiff | tree | snapshot
2015-02-14 jimtweak omega names commit | commitdiff | tree | snapshot
2015-02-14 jimadd names for omega and Omega commit | commitdiff | tree | snapshot
2015-02-14 jimtweak commit | commitdiff | tree | snapshot
2015-02-14 jimreorder commit | commitdiff | tree | snapshot
2015-02-14 jimclean up commit | commitdiff | tree | snapshot
2015-02-14 jimtweak commit | commitdiff | tree | snapshot
2015-02-14 jimalignment commit | commitdiff | tree | snapshot
2015-02-14 jimpost arithmetic commit | commitdiff | tree | snapshot
2015-02-14 jimpost arithmetic commit | commitdiff | tree | snapshot
2015-02-14 jimCleanup and finish commit | commitdiff | tree | snapshot
2015-02-14 jimcreate page commit | commitdiff | tree | snapshot
2015-02-14 jimMove map2 question commit | commitdiff | tree | snapshot
2015-02-14 jimadd map2 extra credit commit | commitdiff | tree | snapshot
2015-02-14 jimupdate with week3 links commit | commitdiff | tree | snapshot
2015-02-14 jimremove final "please wait..." notice commit | commitdiff | tree | snapshot
2015-02-14 jimpost homework3 and some more link-promises commit | commitdiff | tree | snapshot
2015-02-14 jimclarify dot rule commit | commitdiff | tree | snapshot
2015-02-14 jimclarify instructions commit | commitdiff | tree | snapshot
2015-02-14 jimclarify instructions commit | commitdiff | tree | snapshot
2015-02-14 jimformatting commit | commitdiff | tree | snapshot
2015-02-14 jimtweak commit | commitdiff | tree | snapshot
2015-02-14 jimtweak commit | commitdiff | tree | snapshot
2015-02-14 jimtweak commit | commitdiff | tree | snapshot
2015-02-14 jimtweak commit | commitdiff | tree | snapshot
2015-02-14 jimcreate page commit | commitdiff | tree | snapshot
2015-02-14 jimadd list_equal? and zero?, formatting commit | commitdiff | tree | snapshot
2015-02-12 jimtweaks, links commit | commitdiff | tree | snapshot
2015-02-12 jimadd anchors commit | commitdiff | tree | snapshot
2015-02-12 Jimcombinatory tweaks and formatting shared commit | commitdiff | tree | snapshot
2015-02-12 Jimcombinatory tweaks and formatting commit | commitdiff | tree | snapshot
2015-02-12 Jimcombinatory tweaks and formatting commit | commitdiff | tree | snapshot
2015-02-12 Jimcombinatory tweaks and formatting commit | commitdiff | tree | snapshot
2015-02-12 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-02-12 Jimtweak combinatory commit | commitdiff | tree | snapshot
2015-02-12 Jimtweak combinatory commit | commitdiff | tree | snapshot
2015-02-12 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-12 Chrisfixing computation discussion commit | commitdiff | tree | snapshot
2015-02-12 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-12 Chrisadded discussion of computation commit | commitdiff | tree | snapshot
2015-02-12 Chrismove computation discussion live commit | commitdiff | tree | snapshot
2015-02-12 Jim->combinatory commit | commitdiff | tree | snapshot
2015-02-12 Jimchomp more whitespace commit | commitdiff | tree | snapshot
2015-02-12 Jimchomp whitespace commit | commitdiff | tree | snapshot
2015-02-12 Chrismerged in new exercises for week 3 commit | commitdiff | tree | snapshot
2015-02-12 Chrisadded some exercises related to CL commit | commitdiff | tree | snapshot
2015-02-12 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-12 chris(no commit message) commit | commitdiff | tree | snapshot
2015-02-12 Chrismoved file live commit | commitdiff | tree | snapshot
2015-02-12 Chrisadded discussion of computation commit | commitdiff | tree | snapshot
2015-02-11 chrisadded link to Scott's history of the lambda calculus commit | commitdiff | tree | snapshot
2015-02-11 ChrisRewrite of the Y discussion commit | commitdiff | tree | snapshot
2015-02-10 JimMerge branch 'master' into working commit | commitdiff | tree | snapshot
2015-02-10 Jimadd eval_order (raw) commit | commitdiff | tree | snapshot
2015-02-10 jimfill in answers to 25 commit | commitdiff | tree | snapshot
2015-02-10 jimexpand on Scheme heads commit | commitdiff | tree | snapshot
2015-02-10 jim#true in r7rs commit | commitdiff | tree | snapshot
2015-02-10 jimmove Real World OCaml commit | commitdiff | tree | snapshot
2015-02-10 jimadd stubs for week3 commit | commitdiff | tree | snapshot
2015-02-10 JimMerge branch 'master' into working commit | commitdiff | tree | snapshot
2015-02-10 jimrename exercises/assignment2_answers.mdwn to exercises... commit | commitdiff | tree | snapshot
2015-02-10 jimjust link to hint for `reverse` commit | commitdiff | tree | snapshot
2015-02-10 jimcompare `cons` commit | commitdiff | tree | snapshot
2015-02-10 jimcreate page commit | commitdiff | tree | snapshot
2015-02-10 jimlink to answers1 commit | commitdiff | tree | snapshot
next
NYU Lambda Wiki v2