push monads library
[lambda.git] / code / tree_monadize.ml
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