leafs->leaves
[lambda.git] / week7.mdwn
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