monads: add permute,select for List.T
[lambda.git] / code /
2011-05-29 Jim Pryormonads: add permute,select for List.T
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
2010-10-04 Jim Pryoradded more combinators to parser
2010-10-03 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-10-03 Jim Pryorlexer tweak
2010-10-03 Jim Pryorlexer tweak
2010-10-02 Chris Barkersigh
2010-09-30 Jim Pryortokens.js: allow / in names
2010-09-29 Jim Pryorlambda.js: tweak
2010-09-29 Jim Pryorlambda.js: tweak
2010-09-29 Jim Pryorlambda.js: tweak
2010-09-29 Jim Pryorlambda.js: try trampolining evals
2010-09-27 Chris BarkerMerge branch 'master' of ssh://lambda@server.philosophy...
2010-09-26 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-09-26 Jim Pryorsome functional code -> iterative
2010-09-26 Jim Pryoradd terminal ! and ? to lexer
2010-09-26 Chris Barkeredits
2010-09-26 Chris Barkeredits
2010-09-26 Chris Barkeredits
2010-09-26 Chris Barkeredits
2010-09-26 Chris Barkeredits
2010-09-26 Chris Barkeredits
2010-09-26 Chris Barkeredits
2010-09-26 Chris Barkeredits
2010-09-23 Jim Pryorcleanup
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryortweak lambda evaluator
2010-09-23 Jim Pryorshift over to new parser and evaluator
2010-09-23 Jim Pryoradded better parser
2010-09-23 Jim Pryorcoverted Oleg's Haskell lib -> ML -> JS
2010-09-20 Jim Pryortweak ml code/instructions
2010-09-20 Jim Pryordelete ocaml binaries
2010-09-20 Jim Pryorfixed merge
2010-09-20 Jim Pryormove *.js, *.ml -> code/