lambda.git
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 Chris Barkermove hint
2010-11-02 Chris Barkermove hint
2010-11-02 Chris Barkermove hint
2010-11-02 Chris Barkermove hint
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 barker(no commit message)
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Chris BarkerAdded assignmemnt 6
2010-11-01 Jim Pryorcomment re 'intensionality monad'
2010-11-01 Jim Pryorfix links to towards monads
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 Pryorreader: tweaking markup
2010-11-01 Jim Pryorreader: tweaking markup
2010-11-01 Jim Pryorreader: tweaking markup
2010-11-01 Jim Pryorreader: tweaking markup
2010-11-01 Jim Pryorreader: tweaking markup
2010-11-01 Jim Pryorreader: tweaking markup
2010-11-01 Jim Pryorreader: tweaking markup
2010-11-01 Jim Pryorreader: fix [[]] markup
2010-11-01 Jim Pryorfill in reader monad
2010-11-01 Jim Pryorweek6: tweaked hidden notes
2010-11-01 Jim Pryorupcoming topics: tweaked
next