projects / lambda.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
move "count from 0", thanks Kyle
[lambda.git] / code /
2015-04-15 Jimtypo in gsv2.ml tree | commitdiff
2015-04-15 Jimtypo in gsv2.ml tree | commitdiff
2015-04-15 Jimupdate gsv2.ml tree | commitdiff
2015-04-15 JimMerge branch 'working' tree | commitdiff
2015-04-15 Jimupdate gsv2.ml tree | commitdiff
2015-04-14 JimMerge branch 'working' tree | commitdiff
2015-04-14 Jimupdate gsv2.ml tree | commitdiff
2015-04-14 Jimfixed move gsv-jim.ml to gsv2.ml tree | commitdiff
2015-04-14 JimMerge branch 'working' tree | commitdiff
2015-04-14 Jimmove gsv-jim.ml to gsv2.ml tree | commitdiff
2015-04-14 JimMerge branch 'working' tree | commitdiff
2015-04-14 Jimmove gsv.ml to gsv-jim.ml tree | commitdiff
2015-04-14 Jimupdate Juli8 to v1.6 and post gsv.ml tree | commitdiff
2015-04-12 Chrisedits tree | commitdiff
2015-04-11 Chrisedits tree | commitdiff
2015-04-08 Chrisedits tree | commitdiff
2015-04-08 Jimupdate Juli8 tree | commitdiff
2015-04-07 JimMerge branch 'working' tree | commitdiff
2015-04-07 Jimupdate juli8 to 1.4 tree | commitdiff
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
next
NYU Lambda Wiki v2