rename topics/closures.mdwn to topics/week7__95__environments__95__and__95__closures...
[lambda.git] / code /
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
2015-02-05 ChrisMerge branch 'working'
2015-02-05 Jimtry adding lambda evaluator
2015-02-01 Chrisstupid git
2015-02-01 Chrisadjustments, notes week 1
2015-02-01 Jimcopy some more over from v1
2015-01-29 Linux UserMove everything to old
2011-06-08 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2011-06-02 Jim PryorMerge branch 'pryor'
2011-06-02 Jim Pryoradded same-fringe
2011-05-29 Jim PryorMerge branch 'pryor'
2011-05-29 Jim Pryormonads: add permute,select for List.T
2011-02-20 Jim PryorMerge branch 'pryor'
2011-02-20 Jim Pryormonads.ml tweak
2010-12-23 Jim Pryoradd expose to monads.ml
2010-12-13 Jim Pryordelete tests from code
2010-12-13 Jim Pryortransformers finish
2010-12-13 Jim Pryorupdate tree_monadize.ml
2010-12-13 Jim Pryorclean up tree_monadizer.ml
2010-12-13 Jim PryorExpand monad_transformers re elevate, layering
2010-12-13 Jim Pryorrename some stuff
2010-12-13 Jim Pryorrename some stuff
2010-12-13 Jim Pryorrename some stuff
2010-12-12 Jim PryorLeaf_monad -> Tree_monad
2010-12-12 Jim Pryorpoint to monad_library
2010-12-12 Jim Pryortweak monads-lib
2010-12-12 Jim Pryortweak monads-lib
2010-12-11 Jim Pryortweak monads-lib
2010-12-11 Jim Pryormonads lib: made all monad types doubly param'd; requir...
2010-12-11 Jim Pryortweak monads-lib
2010-12-11 Jim Pryormonads.ml: make Error.TP,TP2 drop fail to Wrapped.zero
2010-12-11 Jim Pryormonads.ml: add TP2 to Error, make Error.run less exn-y
2010-12-11 Jim Pryormonads.ml: add TP to Error
2010-12-11 Jim Pryortweak monads-lib
2010-12-11 Jim Pryortweak monads-lib, migrate to T2
2010-12-11 Jim Pryortweak monads-lib, start T2
2010-12-11 Jim Pryorpush monads library
2010-12-08 Jim Pryorextend Chris' arg reversal to tree_monadize.ml
2010-12-08 Jim PryorMerge branch 'pryor'
2010-12-08 Jim Pryortweak tree_monadize.ml
2010-12-07 Jim PryorMerge branch 'pryor'
2010-12-07 Jim Pryormonad_transformers: develop
2010-12-06 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-12-05 Jim Pryortree_monadize tweaks
2010-12-05 Jim Pryortree_monadize tweaks
2010-12-05 Jim Pryorexpand tree_monadize explanation
2010-12-02 Jim Pryorchanged my unit_M to Chris' convention of M_unit, for...
2010-12-02 Jim Pryortweak whole site: caps for Reader monad, etc
2010-12-02 Jim Pryorcode/tree_monadize.ml
2010-12-01 Jim Pryorfix manip trees
2010-11-26 Jim Pryortweak calc improvements
2010-11-26 Jim Pryortweak calc improvements
2010-11-26 Jim Pryortweak calc improvements
2010-11-26 Jim Pryortweak calc improvements
2010-11-26 Jim Pryortweak calc improvements
2010-11-26 Jim Pryortweak calc improvements
2010-11-26 Jim Pryorexpand calc improvements
2010-10-17 Jim Pryorcode cleanup
2010-10-17 Jim Pryorcode cleanup
2010-10-17 Jim Pryorcode cleanup
2010-10-17 Jim PryorRevert "changes to offsite-reading"
2010-10-17 Chris Barkerchanges to offsite-reading
2010-10-17 Chris Barkerchanges to offsite-reading
next