changed my unit_M to Chris' convention of M_unit, for consistency
[lambda.git] / advanced_topics /
2010-12-02 Jim Pryortweak whole site: caps for Reader monad, etc
2010-11-26 Jim Pryorpost calc improvements as week10
2010-11-26 Jim Pryorprepare calc improvements to be week10 notes
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 Pryortweak calc improvements
2010-11-26 Jim Pryortweak calc improvements
2010-11-26 Jim Pryorexpand calc improvements
2010-11-25 Jim Pryortweak calc improvements
2010-11-25 Jim Pryortweak calc improvements
2010-11-25 Jim Pryortweak calc improvements
2010-11-25 Jim Pryortweak calc improvements
2010-11-25 Jim Pryortweak calc improvements
2010-11-25 Jim Pryortweak calc improvements
2010-11-25 Jim Pryorcalculator improvements
2010-11-03 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory ready
2010-11-02 Jim Pryorcat theory ready
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat: right arrow
2010-11-02 Jim Pryorcat theory: different bold
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory tweaks
2010-11-02 Jim Pryorcat theory testing
2010-11-02 Jim Pryorid[.]
2010-11-02 Jim Pryorcapitalize c1,c2,c3
2010-11-02 Jim PryorMerge branch 'pryor'
2010-11-02 Jim Pryorbold categories, greek NTs
2010-11-02 Jim Pryortweak cat theory
2010-11-02 Jim Pryortweak cat theory
2010-11-02 Jim Pryortweak cat theory
2010-11-02 Jim Pryortweak cat theory
2010-11-02 Jim Pryorcat theory warning
2010-11-01 Jim Pryorlink to monads in category theory
2010-11-01 Jim Pryortweak advanced