projects / lambda.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lambda.git
2015-03-23 Jimadd some old code, let's review/update before publishing commit | commitdiff | tree | snapshot
2015-03-22 Jimadd faye_dunaway.jpg commit | commitdiff | tree | snapshot
2015-03-22 Jimchange env implementations to assoc list 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
2015-03-21 jimfinish commit | commitdiff | tree | snapshot
2015-03-21 jimadd set_equal? commit | commitdiff | tree | snapshot
2015-03-21 jimmost answers done commit | commitdiff | tree | snapshot
2015-03-21 jimremoved commit | commitdiff | tree | snapshot
2015-03-21 jimcreate page commit | commitdiff | tree | snapshot
2015-03-21 jimremove Safe division commit | commitdiff | tree | snapshot
2015-03-21 jimwarning about mu, some tweaks commit | commitdiff | tree | snapshot
2015-03-21 jimfix type of sysf_iszero, add sysf_pred commit | commitdiff | tree | snapshot
2015-03-21 jimremove "posted late" notice commit | commitdiff | tree | snapshot
2015-03-21 jimremove/update some "coming soon" notices commit | commitdiff | tree | snapshot
2015-03-21 jimremove "coming soon" notices commit | commitdiff | tree | snapshot
2015-03-21 jimlink to week 5 answers commit | commitdiff | tree | snapshot
2015-03-21 jimlink to week 5 answers commit | commitdiff | tree | snapshot
2015-03-21 jimExplain why blackhole and blackhole () can have the... commit | commitdiff | tree | snapshot
2015-03-21 jimexpand about eval order commit | commitdiff | tree | snapshot
2015-03-21 jimfix explanation of rejected types commit | commitdiff | tree | snapshot
2015-03-21 jimreplace deleted line commit | commitdiff | tree | snapshot
2015-03-21 jimreplace deleted line commit | commitdiff | tree | snapshot
2015-03-21 jimtweak commit | commitdiff | tree | snapshot
2015-03-21 jimfix System F booleans commit | commitdiff | tree | snapshot
2015-03-21 jimspelling commit | commitdiff | tree | snapshot
2015-03-21 jimmarkup commit | commitdiff | tree | snapshot
2015-03-21 jimtweak commit | commitdiff | tree | snapshot
2015-03-21 jimadd some more commit | commitdiff | tree | snapshot
2015-03-21 jimadd some stuff commit | commitdiff | tree | snapshot
2015-03-21 jimmore answers commit | commitdiff | tree | snapshot
2015-03-21 jimadd some more commit | commitdiff | tree | snapshot
2015-03-21 jimadd some answers commit | commitdiff | tree | snapshot
2015-03-21 jimadd hints commit | commitdiff | tree | snapshot
2015-03-21 jimcreate page commit | commitdiff | tree | snapshot
2015-03-21 jimcreate page commit | commitdiff | tree | snapshot
2015-03-20 Jimwhoops commit | commitdiff | tree | snapshot
2015-03-20 Jimupdate homework commit | commitdiff | tree | snapshot
2015-03-20 Jimprovide gappy untyped_evaluator.ml commit | commitdiff | tree | snapshot
2015-03-20 Jimrefine untyped_evaluator commit | commitdiff | tree | snapshot
2015-03-20 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-20 Jimprovide simplified untyped_evaluator (complete version) commit | commitdiff | tree | snapshot
2015-03-20 jimspoke too soon, added examples of failures commit | commitdiff | tree | snapshot
2015-03-20 jimmark that Monad page is updated commit | commitdiff | tree | snapshot
2015-03-20 jimmark that Monad page is updated commit | commitdiff | tree | snapshot
2015-03-20 jimtweaks commit | commitdiff | tree | snapshot
2015-03-20 jimlast tweaks to monad page for now commit | commitdiff | tree | snapshot
2015-03-20 jimrestore Chris's double boxes commit | commitdiff | tree | snapshot
2015-03-20 jimrefinements commit | commitdiff | tree | snapshot
2015-03-20 chris(no commit message) commit | commitdiff | tree | snapshot
2015-03-20 Chrisedits commit | commitdiff | tree | snapshot
2015-03-20 Chrisdouble box commit | commitdiff | tree | snapshot
2015-03-20 jimrefine commit | commitdiff | tree | snapshot
2015-03-20 jimexpanding commit | commitdiff | tree | snapshot
2015-03-20 jim= to == commit | commitdiff | tree | snapshot
2015-03-20 jimrefine Cat Theory notes commit | commitdiff | tree | snapshot
2015-03-20 jimvarious edits, including Cat Theory commit | commitdiff | tree | snapshot
2015-03-20 jimmarkup commit | commitdiff | tree | snapshot
2015-03-20 jimexpand Mappable Laws commit | commitdiff | tree | snapshot
2015-03-19 jimambiguous "identify" commit | commitdiff | tree | snapshot
2015-03-19 jimClean up examples, stick more consistently to typing... commit | commitdiff | tree | snapshot
2015-03-19 jimargh... Haskell vs OCaml commit | commitdiff | tree | snapshot
2015-03-19 jimfix formatting of `1` commit | commitdiff | tree | snapshot
2015-03-19 jimexplain mappable laws better commit | commitdiff | tree | snapshot
2015-03-19 ChrisMerge branch 'master' of main.jimpryor.net:/srv/lambda... commit | commitdiff | tree | snapshot
2015-03-19 Chrisadded intensionality and binding commit | commitdiff | tree | snapshot
2015-03-19 jimadd mappable laws commit | commitdiff | tree | snapshot
2015-03-19 jimfix type commit | commitdiff | tree | snapshot
2015-03-19 jimexpress hesitation about flipped names commit | commitdiff | tree | snapshot
2015-03-19 jimfix "arrow" commit | commitdiff | tree | snapshot
2015-03-19 jimcorrection commit | commitdiff | tree | snapshot
2015-03-19 jimtweak category theory blurb commit | commitdiff | tree | snapshot
2015-03-19 jimtweak commit | commitdiff | tree | snapshot
2015-03-19 jimformatting commit | commitdiff | tree | snapshot
2015-03-19 jimadd links to category theory commit | commitdiff | tree | snapshot
2015-03-19 Christry3 commit | commitdiff | tree | snapshot
2015-03-19 jimpost homework7, with promises commit | commitdiff | tree | snapshot
2015-03-19 jimpost homework7, with promises commit | commitdiff | tree | snapshot
2015-03-19 jimlowercase monad commit | commitdiff | tree | snapshot
2015-03-19 jimupdates, ready to post with promises commit | commitdiff | tree | snapshot
2015-03-19 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-19 Jimupdate code commit | commitdiff | tree | snapshot
2015-03-19 jimrename exercises/_assignment6.mdwn to exercises/assignm... commit | commitdiff | tree | snapshot
2015-03-19 jimtweak commit | commitdiff | tree | snapshot
2015-03-19 jimtweak commit | commitdiff | tree | snapshot
2015-03-19 jimreplace some == with ≡ commit | commitdiff | tree | snapshot
2015-03-19 jimadd sentence about Identity Monad commit | commitdiff | tree | snapshot
2015-03-19 jimadd some <code> tags commit | commitdiff | tree | snapshot
2015-03-19 jimfix join's type commit | commitdiff | tree | snapshot
2015-03-19 jimok commit | commitdiff | tree | snapshot
2015-03-19 Jimupdate css commit | commitdiff | tree | snapshot
2015-03-19 JimMerge branch 'working' commit | commitdiff | tree | snapshot
2015-03-19 Jimupdate css commit | commitdiff | tree | snapshot
2015-03-19 JimMerge branch 'working' commit | commitdiff | tree | snapshot
next
NYU Lambda Wiki v2