add Reynolds paper
[lambda.git] / code /
2015-05-01 JimMerge branch 'working'
2015-05-01 JimChris' improvement to tc with #
2015-04-29 JimMerge branch 'working'
2015-04-29 Jimupdate refunct zippers code
2015-04-29 JimMerge branch 'working'
2015-04-29 Jimrefunct zippers code
2015-04-15 Jimtypo in gsv2.ml
2015-04-15 Jimtypo in gsv2.ml
2015-04-15 Jimupdate gsv2.ml
2015-04-15 JimMerge branch 'working'
2015-04-15 Jimupdate gsv2.ml
2015-04-14 JimMerge branch 'working'
2015-04-14 Jimupdate gsv2.ml
2015-04-14 Jimfixed move gsv-jim.ml to gsv2.ml
2015-04-14 JimMerge branch 'working'
2015-04-14 Jimmove gsv-jim.ml to gsv2.ml
2015-04-14 JimMerge branch 'working'
2015-04-14 Jimmove gsv.ml to gsv-jim.ml
2015-04-14 Jimupdate Juli8 to v1.6 and post gsv.ml
2015-04-12 Chrisedits
2015-04-11 Chrisedits
2015-04-08 Chrisedits
2015-04-08 Jimupdate Juli8
2015-04-07 JimMerge branch 'working'
2015-04-07 Jimupdate juli8 to 1.4
2015-04-06 Jimtweak arith1.ml
2015-04-06 Jimtweak intensionality.ml
2015-04-06 Jimupdate arith1.ml
2015-04-06 Jimupdate intensionality.ml
2015-04-06 Jimupdate intensionality.ml
2015-04-06 Jimremove old code
2015-04-05 JimMerge branch 'working'
2015-04-05 Jimadd Juli8-v1.3
2015-04-04 JimMerge branch 'working'
2015-04-04 Jimtweak reader2.ml, add Juli8.tgz
2015-04-04 JimMerge branch 'working'
2015-04-04 Jimadd/update monad code
2015-04-03 Chrisarith1.ml
2015-04-01 JimMerge branch 'working'
2015-04-01 Jimadd OCaml main+list+monad libraries
2015-03-30 Chrisreader monad
2015-03-25 Jimtypo in untyped_evaluator
2015-03-25 Jimfix another typo on ski_evaluator
2015-03-25 Jimfix typo on ski_evaluator
2015-03-25 Jimfix result types on ski_evaluator
2015-03-25 JimMerge branch 'working'
2015-03-25 Jimadd comments to ski_evaluator
2015-03-25 JimMerge branch 'working'
2015-03-25 Jimupdate untyped_eval to 1.7
2015-03-24 JimMerge branch 'working'
2015-03-24 JimRevert "update untyped_eval to 1.6"
2015-03-24 JimMerge branch 'working'
2015-03-24 Jimupdate untyped_eval to 1.6
2015-03-24 JimMerge branch 'working'
2015-03-24 Jimupdate untyped_eval to 1.5
2015-03-24 Jimupdate untyped_eval to 1.4
2015-03-24 JimMerge branch 'working'
2015-03-24 Jimsymlink doesn't work
2015-03-24 JimMerge branch 'working'
2015-03-24 Jimupdate untyped code
2015-03-24 JimMerge branch 'working'
2015-03-24 Jimtweak untyped_evaluators, add symlink
2015-03-23 JimMerge branch 'working'
2015-03-23 Jimadd V combinator to lambda_evaluator
2015-03-23 JimMerge branch 'working'
2015-03-23 Jimadd code/interp-1.2.tgz
2015-03-23 JimMerge branch 'working'
2015-03-23 Jimuntyped eval: tweaks
2015-03-23 JimMerge branch 'working'
2015-03-23 Jimuntyped eval: V[12]-->V[AB]
2015-03-23 JimMerge branch 'working'
2015-03-23 Jimadd some old code, let's review/update before publishing
2015-03-22 JimMerge branch 'working'
2015-03-22 Jimchange env implementations to assoc list
2015-03-22 Jimadd comments to untyped_evals again
2015-03-22 JimMerge branch 'working'
2015-03-22 Jimadd comments to untyped_evals
2015-03-20 Jimwhoops
2015-03-20 Jimprovide gappy untyped_evaluator.ml
2015-03-20 Jimrefine untyped_evaluator
2015-03-20 JimMerge branch 'working'
2015-03-20 Jimprovide simplified untyped_evaluator (complete version)
2015-03-19 Christry3
2015-03-19 JimMerge branch 'working'
2015-03-19 Jimupdate code
2015-03-19 Jimupdate ski_evaluators
2015-03-15 Chrisexx
2015-03-14 Chrisgit is a pain
2015-03-14 Chrisedits
2015-03-14 Chrisadded complete substitution code
2015-03-14 Chrisedits
2015-03-14 Chrisexercises
2015-03-14 Chrisdeveloping exx
2015-03-14 Chrishuh
2015-03-14 Chrisadded reduction code
2015-03-14 Chrisadded code
2015-03-14 Chrishw6
2015-02-12 Chrisadded discussion of computation
2015-02-12 Jimchomp whitespace
2015-02-06 jimupdate Lambda Calculator link
next