projects / lambda.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lambda.git
2015-03-24 jimexpand about environments commit | commitdiff | tree | snapshot
2015-03-24 jimadd parentheses commit | commitdiff | tree | snapshot
2015-03-24 jimtweak commit | commitdiff | tree | snapshot
2015-03-24 jiminconsistent-->unsound commit | commitdiff | tree | snapshot
2015-03-24 jim≡ means syntactic identity, not equivalence commit | commitdiff | tree | snapshot
2015-03-24 jimwhoops, tree_best_sofar (direct) had a bug commit | commitdiff | tree | snapshot
2015-03-24 jimfix link commit | commitdiff | tree | snapshot
2015-03-24 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-24 Jimsymlink doesn't work commit | commitdiff | tree | snapshot
2015-03-24 jimadd toc commit | commitdiff | tree | snapshot
2015-03-24 jimupdate link commit | commitdiff | tree | snapshot
2015-03-24 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-24 Jimupdate untyped code commit | commitdiff | tree | snapshot
2015-03-24 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-24 Jimtweak untyped_evaluators, add symlink commit | commitdiff | tree | snapshot
2015-03-24 jimpost/update links commit | commitdiff | tree | snapshot
2015-03-23 jimformatting commit | commitdiff | tree | snapshot
2015-03-23 jimpost links commit | commitdiff | tree | snapshot
2015-03-23 jimrename topics/_week7_interpreter_exposition.mdwn to... commit | commitdiff | tree | snapshot
2015-03-23 jimedits commit | commitdiff | tree | snapshot
2015-03-23 jimadd #primed commit | commitdiff | tree | snapshot
2015-03-23 jimedits? commit | commitdiff | tree | snapshot
2015-03-23 jimadd link to Closures commit | commitdiff | tree | snapshot
2015-03-23 jimrename topics/week7__95__environments__95__and__95__clo... commit | commitdiff | tree | snapshot
2015-03-23 jimupdate for rename of topics/closures.mdwn to topics... commit | commitdiff | tree | snapshot
2015-03-23 jimrename topics/closures.mdwn to topics/week7__95__enviro... commit | commitdiff | tree | snapshot
2015-03-23 jimedits commit | commitdiff | tree | snapshot
2015-03-23 jimextract closures discussion to separate page commit | commitdiff | tree | snapshot
2015-03-23 jimcreate page commit | commitdiff | tree | snapshot
2015-03-23 jimadd more bold commit | commitdiff | tree | snapshot
2015-03-23 jimadd update note commit | commitdiff | tree | snapshot
2015-03-23 jimadd update note commit | commitdiff | tree | snapshot
2015-03-23 jimadd toc commit | commitdiff | tree | snapshot
2015-03-23 jimtweak commit | commitdiff | tree | snapshot
2015-03-23 jimadd explanation of Closures commit | commitdiff | tree | snapshot
2015-03-23 jimfix markup commit | commitdiff | tree | snapshot
2015-03-23 jimfix markup commit | commitdiff | tree | snapshot
2015-03-23 jimadd #occurs_free commit | commitdiff | tree | snapshot
2015-03-23 jimadd #occurs_free commit | commitdiff | tree | snapshot
2015-03-23 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-23 Jimadd V combinator to lambda_evaluator commit | commitdiff | tree | snapshot
2015-03-23 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-23 Jimadd code/interp-1.2.tgz commit | commitdiff | tree | snapshot
2015-03-23 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-23 Jimuntyped eval: tweaks commit | commitdiff | tree | snapshot
2015-03-23 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-23 Jimuntyped eval: V[12]-->V[AB] commit | commitdiff | tree | snapshot
2015-03-23 jimfix link commit | commitdiff | tree | snapshot
2015-03-23 jimupdate note commit | commitdiff | tree | snapshot
2015-03-23 jimupdate note commit | commitdiff | tree | snapshot
2015-03-23 jimtypo commit | commitdiff | tree | snapshot
2015-03-23 jimmarkup commit | commitdiff | tree | snapshot
2015-03-23 jimformating commit | commitdiff | tree | snapshot
2015-03-23 jimuse arrow for mid commit | commitdiff | tree | snapshot
2015-03-23 jimuse arrow for mid commit | commitdiff | tree | snapshot
2015-03-23 jimremove spaces after applications of mid commit | commitdiff | tree | snapshot
2015-03-23 jimchange m$ to ¢ commit | commitdiff | tree | snapshot
2015-03-23 jimchange mid to double up arrow U+2e17 commit | commitdiff | tree | snapshot
2015-03-23 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-23 Jimadd some old code, let's review/update before publishing commit | commitdiff | tree | snapshot
2015-03-23 jimagain with the markup commit | commitdiff | tree | snapshot
2015-03-23 jimmarkup commit | commitdiff | tree | snapshot
2015-03-23 jimpost safe division, rename/reorg a bit commit | commitdiff | tree | snapshot
2015-03-23 jimlink to safe division commit | commitdiff | tree | snapshot
2015-03-23 jimrename topics/week8_safe_division_with_Monads.mdwn... commit | commitdiff | tree | snapshot
2015-03-23 jimrename topics/_week8_using_monads.mdwn to topics/week8_... commit | commitdiff | tree | snapshot
2015-03-23 jimpolish commit | commitdiff | tree | snapshot
2015-03-23 jimmove do-notation links commit | commitdiff | tree | snapshot
2015-03-23 jimexplain comments commit | commitdiff | tree | snapshot
2015-03-22 jimmove link commit | commitdiff | tree | snapshot
2015-03-22 jimThey're sets of worlds AND they're CCPs... Understand... commit | commitdiff | tree | snapshot
2015-03-22 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-22 Jimadd faye_dunaway.jpg commit | commitdiff | tree | snapshot
2015-03-22 jimexplain "cohere" commit | commitdiff | tree | snapshot
2015-03-22 jimformatting commit | commitdiff | tree | snapshot
2015-03-22 jimadd Monads made hard link to Category Theory links commit | commitdiff | tree | snapshot
2015-03-22 jimextra line commit | commitdiff | tree | snapshot
2015-03-22 jimtweak List.>>= explanation commit | commitdiff | tree | snapshot
2015-03-22 jimtweak diagram commit | commitdiff | tree | snapshot
2015-03-22 jimrefinements, diagrams commit | commitdiff | tree | snapshot
2015-03-22 jimMore explicitness commit | commitdiff | tree | snapshot
2015-03-22 jimreorganize commit | commitdiff | tree | snapshot
2015-03-22 jimformatting commit | commitdiff | tree | snapshot
2015-03-22 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-22 Jimchange env implementations to assoc list commit | commitdiff | tree | snapshot
2015-03-22 jim(no commit message) commit | commitdiff | tree | snapshot
2015-03-22 jimremoved commit | commitdiff | tree | snapshot
2015-03-22 jimtweaks commit | commitdiff | tree | snapshot
2015-03-22 jimadd addl reading section commit | commitdiff | tree | snapshot
2015-03-22 jimmore refinements commit | commitdiff | tree | snapshot
2015-03-22 jimsome refinements commit | commitdiff | tree | snapshot
2015-03-22 jimsome refinements commit | commitdiff | tree | snapshot
2015-03-22 Jimadd monads_in_general for scratch commit | commitdiff | tree | snapshot
2015-03-22 Jimadd comments to untyped_evals again commit | commitdiff | tree | snapshot
2015-03-22 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-22 Jimadd comments to untyped_evals commit | commitdiff | tree | snapshot
2015-03-21 jimtweaks commit | commitdiff | tree | snapshot
2015-03-21 jimremoved commit | commitdiff | tree | snapshot
2015-03-21 jimpost week4 answers commit | commitdiff | tree | snapshot
2015-03-21 jimpost week4 answers commit | commitdiff | tree | snapshot
next
NYU Lambda Wiki v2