monads: add permute,select for List.T
[lambda.git] / monad_transformers.mdwn
2010-12-13 Jim Pryortransformers tweak
2010-12-13 Jim Pryortransformers tweak
2010-12-13 Jim Pryortransformers tweak
2010-12-13 Jim Pryortransformers tweak
2010-12-13 Jim Pryortransformers finish
2010-12-13 Jim Pryortransformers tweak
2010-12-13 Jim Pryoradd elevate laws
2010-12-13 Jim Pryortransformers tweak
2010-12-13 Jim Pryortransformers tweak
2010-12-13 Jim Pryortransformers tweak
2010-12-13 Jim PryorExpand monad_transformers re elevate, layering
2010-12-12 Jim Pryortweak transformers
2010-12-12 Jim Pryortweak transformers
2010-12-12 Jim PryorStokhof, Veltman
2010-12-12 Jim Pryorexpand transformers
2010-12-10 Jim Pryormonad_transformers: citations
2010-12-07 Jim PryorMerge branch 'pryor'
2010-12-07 Jim Pryormonad_transformers: develop
2010-12-07 Jim Pryormonad_transformers: develop
2010-12-06 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-12-06 Chris Barkeredits
2010-12-04 Jim Pryormanip trees: split off last section into monad_transformers