tweak monads-lib, start T2
[lambda.git] / week7.mdwn
2010-12-09 Jim Pryorprettier associative law in week7
2010-12-06 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-12-04 Jim Pryormonad laws link
2010-12-04 Jim Pryordo-notation links
2010-12-04 Jim PryorMerge branch 'pryor'
2010-12-04 Jim Pryorlink tweaks
2010-12-04 Jim PryorMerge branch 'pryor'
2010-12-04 Jim Pryorlinks re monads
2010-12-02 Jim Pryortweak whole site: caps for Reader monad, etc
2010-11-03 Jim Pryorweek7: rearrange paper links
2010-11-03 Jim Pryorrenaming
2010-11-02 Jim Pryortweaks
2010-11-02 Jim Pryorvarious cleanup
2010-11-02 Jim PryorMerge branch 'pryor'
2010-11-02 Chris Barkermove hint
2010-11-02 Chris Barkermove hint
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris Barkeredits
2010-11-01 Chris Barkeredits
2010-11-01 Chris Barkeredits
2010-11-01 Chris Barkeredits
2010-11-01 Chris Barkeredits
2010-11-01 Chris Barkeredits
2010-11-01 Chris Barkeredits
2010-11-01 Chris Barkeredits
2010-11-01 Jim Pryorweek7 tweak
2010-11-01 Jim Pryorsplit off reader, intens monads; link to week7
2010-11-01 Jim Pryoradd friedman article, week7 tweaks
2010-11-01 Jim Pryorweek7: tweaking
2010-11-01 Jim Pryorweek7: use u,v for monadic terms
2010-11-01 Jim Pryormove Towards Monads to own page
2010-11-01 Jim Pryorweek7: monad details
2010-11-01 Jim Pryorweek7: update monad intro
2010-11-01 Jim Pryorweek7: housecleaning
2010-10-31 kenAdd some examples of monad laws using "safe division"
2010-10-31 Chris Barkeredits
2010-10-31 Chris Barkeredits
2010-10-31 Chris Barkeredits
2010-10-31 Chris Barkeredits
2010-10-31 Chris Barkeredits
2010-10-31 Chris Barkeredits
2010-10-31 Chris Barkeredits
2010-10-31 Chris Barkeredits
2010-10-31 Chris Barkeredits
2010-10-31 Chris Barkerassignment 6
2010-10-31 Chris BarkerMonads