projects / lambda.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
revise, ready to post
[lambda.git] / code /
2015-04-06 Jimtweak arith1.ml tree | commitdiff
2015-04-06 Jimtweak intensionality.ml tree | commitdiff
2015-04-06 Jimupdate arith1.ml tree | commitdiff
2015-04-06 Jimupdate intensionality.ml tree | commitdiff
2015-04-06 Jimupdate intensionality.ml tree | commitdiff
2015-04-06 Jimremove old code tree | commitdiff
2015-04-05 JimMerge branch 'working' tree | commitdiff
2015-04-05 Jimadd Juli8-v1.3 tree | commitdiff
2015-04-04 JimMerge branch 'working' tree | commitdiff
2015-04-04 Jimtweak reader2.ml, add Juli8.tgz tree | commitdiff
2015-04-04 JimMerge branch 'working' tree | commitdiff
2015-04-04 Jimadd/update monad code tree | commitdiff
2015-04-03 Chrisarith1.ml tree | commitdiff
2015-04-01 JimMerge branch 'working' tree | commitdiff
2015-04-01 Jimadd OCaml main+list+monad libraries tree | commitdiff
2015-03-30 Chrisreader monad tree | commitdiff
2015-03-25 Jimtypo in untyped_evaluator tree | commitdiff
2015-03-25 Jimfix another typo on ski_evaluator tree | commitdiff
2015-03-25 Jimfix typo on ski_evaluator tree | commitdiff
2015-03-25 Jimfix result types on ski_evaluator tree | commitdiff
2015-03-25 JimMerge branch 'working' tree | commitdiff
2015-03-25 Jimadd comments to ski_evaluator tree | commitdiff
2015-03-25 JimMerge branch 'working' tree | commitdiff
2015-03-25 Jimupdate untyped_eval to 1.7 tree | commitdiff
2015-03-24 JimMerge branch 'working' tree | commitdiff
2015-03-24 JimRevert "update untyped_eval to 1.6" tree | commitdiff
2015-03-24 JimMerge branch 'working' tree | commitdiff
2015-03-24 Jimupdate untyped_eval to 1.6 tree | commitdiff
2015-03-24 JimMerge branch 'working' tree | commitdiff
2015-03-24 Jimupdate untyped_eval to 1.5 tree | commitdiff
2015-03-24 Jimupdate untyped_eval to 1.4 tree | commitdiff
2015-03-24 JimMerge branch 'working' tree | commitdiff
2015-03-24 Jimsymlink doesn't work tree | commitdiff
2015-03-24 JimMerge branch 'working' tree | commitdiff
2015-03-24 Jimupdate untyped code tree | commitdiff
2015-03-24 JimMerge branch 'working' tree | commitdiff
2015-03-24 Jimtweak untyped_evaluators, add symlink tree | commitdiff
2015-03-23 JimMerge branch 'working' tree | commitdiff
2015-03-23 Jimadd V combinator to lambda_evaluator tree | commitdiff
2015-03-23 JimMerge branch 'working' tree | commitdiff
2015-03-23 Jimadd code/interp-1.2.tgz tree | commitdiff
2015-03-23 JimMerge branch 'working' tree | commitdiff
2015-03-23 Jimuntyped eval: tweaks tree | commitdiff
2015-03-23 JimMerge branch 'working' tree | commitdiff
2015-03-23 Jimuntyped eval: V[12]-->V[AB] tree | commitdiff
2015-03-23 JimMerge branch 'working' tree | commitdiff
2015-03-23 Jimadd some old code, let's review/update before publishing tree | commitdiff
2015-03-22 JimMerge branch 'working' tree | commitdiff
2015-03-22 Jimchange env implementations to assoc list tree | commitdiff
2015-03-22 Jimadd comments to untyped_evals again tree | commitdiff
2015-03-22 JimMerge branch 'working' tree | commitdiff
2015-03-22 Jimadd comments to untyped_evals tree | commitdiff
2015-03-20 Jimwhoops tree | commitdiff
2015-03-20 Jimprovide gappy untyped_evaluator.ml tree | commitdiff
2015-03-20 Jimrefine untyped_evaluator tree | commitdiff
2015-03-20 JimMerge branch 'working' tree | commitdiff
2015-03-20 Jimprovide simplified untyped_evaluator (complete version) tree | commitdiff
2015-03-19 Christry3 tree | commitdiff
2015-03-19 JimMerge branch 'working' tree | commitdiff
2015-03-19 Jimupdate code tree | commitdiff
2015-03-19 Jimupdate ski_evaluators tree | commitdiff
2015-03-15 Chrisexx tree | commitdiff
2015-03-14 Chrisgit is a pain tree | commitdiff
2015-03-14 Chrisedits tree | commitdiff
2015-03-14 Chrisadded complete substitution code tree | commitdiff
2015-03-14 Chrisedits tree | commitdiff
2015-03-14 Chrisexercises tree | commitdiff
2015-03-14 Chrisdeveloping exx tree | commitdiff
2015-03-14 Chrishuh tree | commitdiff
2015-03-14 Chrisadded reduction code tree | commitdiff
2015-03-14 Chrisadded code tree | commitdiff
2015-03-14 Chrishw6 tree | commitdiff
2015-02-12 Chrisadded discussion of computation tree | commitdiff
2015-02-12 Jimchomp whitespace tree | commitdiff
2015-02-06 jimupdate Lambda Calculator link tree | commitdiff
2015-02-05 ChrisMerge branch 'working' tree | commitdiff
2015-02-05 Jimtry adding lambda evaluator tree | commitdiff
2015-02-01 Chrisstupid git tree | commitdiff
2015-02-01 Chrisadjustments, notes week 1 tree | commitdiff
2015-02-01 Jimcopy some more over from v1 tree | commitdiff
2015-01-29 Linux UserMove everything to old tree | commitdiff
2011-06-08 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas... tree | commitdiff
2011-06-02 Jim PryorMerge branch 'pryor' tree | commitdiff
2011-06-02 Jim Pryoradded same-fringe tree | commitdiff
2011-05-29 Jim PryorMerge branch 'pryor' tree | commitdiff
2011-05-29 Jim Pryormonads: add permute,select for List.T tree | commitdiff
2011-02-20 Jim PryorMerge branch 'pryor' tree | commitdiff
2011-02-20 Jim Pryormonads.ml tweak tree | commitdiff
2010-12-23 Jim Pryoradd expose to monads.ml tree | commitdiff
2010-12-13 Jim Pryordelete tests from code tree | commitdiff
2010-12-13 Jim Pryortransformers finish tree | commitdiff
2010-12-13 Jim Pryorupdate tree_monadize.ml tree | commitdiff
2010-12-13 Jim Pryorclean up tree_monadizer.ml tree | commitdiff
2010-12-13 Jim PryorExpand monad_transformers re elevate, layering tree | commitdiff
2010-12-13 Jim Pryorrename some stuff tree | commitdiff
2010-12-13 Jim Pryorrename some stuff tree | commitdiff
2010-12-13 Jim Pryorrename some stuff tree | commitdiff
2010-12-12 Jim PryorLeaf_monad -> Tree_monad tree | commitdiff
2010-12-12 Jim Pryorpoint to monad_library tree | commitdiff
2010-12-12 Jim Pryortweak monads-lib tree | commitdiff
next
NYU Lambda Wiki v2