consistently use k for continuations
[lambda.git] / week4.mdwn
2010-10-19 Jim Pryorweek4 tweak
2010-10-17 Chris Barkerchanges to offsite-reading
2010-10-16 Jim Pryorfix comment about forcing eval order
2010-10-05 Jim Pryorweek4 tweaks
2010-10-05 Jim Pryorweek4 tweaks
2010-10-05 Jim Pryorweek4 tweaks
2010-10-05 Jim Pryorweek4 tweaks
2010-10-05 Jim Pryorweek4 f-->f2
2010-10-05 Jim Pryorspelling Ackermann
2010-10-04 Chris Barkeredits
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim PryorMerge branch 'pryor'
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim PryorMerge branch 'pryor'
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim PryorMerge branch 'pryor'
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim PryorMerge branch 'pryor'
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim Pryorweek4 debugging more
2010-10-03 Jim Pryorweek4 debugging more
2010-10-03 Jim Pryorweek4 debugging more
2010-10-03 Jim Pryorweek4 debugging more
2010-10-03 Jim Pryorweek4 debugging
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4: formatting tweaks
2010-10-03 Jim Pryorfix links to v4 lists
2010-10-03 Jim Pryorproof of fixed points: W->L, be more specific about '='
2010-10-03 Jim Pryormore reorg
2010-10-03 Jim Pryormove type stuff to 'week5' page (without prejudice...
2010-10-03 Jim Pryorweek 4: added html comment
2010-10-03 Jim PryorMerge branch 'pryor'
2010-10-03 Chris Barkeredits
2010-10-03 Chris Barkeredits
2010-10-03 Chris Barkeredits
2010-10-03 Chris Barkeredits
2010-10-03 Chris Barkeredits
2010-10-03 Chris Barkeredits
2010-10-03 Chris Barkeredits
2010-10-03 Chris Barkeredits
2010-10-03 Chris Barkeredits
2010-10-03 Chris Barkeredits
2010-10-03 Chris Barkeredits
2010-10-02 Chris Barkeredits
2010-10-02 Chris Barkeredits
2010-10-02 Chris Barkeredits
2010-10-02 Chris Barkeredits
2010-10-02 Chris Barkeredits
2010-10-02 Chris Barkeredits
2010-10-02 Chris Barkeredits
2010-10-02 Chris Barkeredits
2010-10-02 Chris Barkeredits
2010-10-02 Chris Barkeredits
2010-10-02 Chris Barkeradded notes for week4