posted stubs
[lambda.git] / index.mdwn
2015-03-01 jimposted stubs
2015-02-25 ChrisMerge branch 'working'
2015-02-25 jimadd note about Pierce
2015-02-24 jimpost week3-evaluation order
2015-02-23 Chrisedits
2015-02-23 ChrisMerge branch 'working'
2015-02-23 jimpost week 3 answers
2015-02-21 JimMerge branch 'working'
2015-02-20 jimpost homework4
2015-02-20 JimMerge branch 'working'
2015-02-20 jimposted more about... for week 4
2015-02-20 jimpost main Y notes
2015-02-19 jimpost stubs for week4
2015-02-18 jimlink to Unit
2015-02-18 jimpost Hankin Chapter 4 reading, answers to homework 2
2015-02-15 jimupdate links
2015-02-14 jimpost arithmetic
2015-02-14 jimupdate with week3 links
2015-02-12 JimMerge branch 'working'
2015-02-12 chris(no commit message)
2015-02-12 Chrisadded discussion of computation
2015-02-12 Jim->combinatory
2015-02-10 JimMerge branch 'master' into working
2015-02-10 jimadd stubs for week3
2015-02-10 JimMerge branch 'master' into working
2015-02-10 jimlink to answers1
2015-02-08 jimtypo
2015-02-08 Jimpush assignment2
2015-02-07 jimencodings done
2015-02-07 Jimpush encodings (unfinished)
2015-02-07 JimMerge branch 'master' into working
2015-02-07 jimtweak
2015-02-07 Jimtweak links
2015-02-07 jimfix link
2015-02-07 jimadd links to (some) week2 notes
2015-02-07 jimupdate for rename of topics/week1_advanced_notes.mdwn...
2015-02-07 jimupdate for rename of topics/week1.mdwn to topics/week1_...
2015-02-06 jimrosetta1 should be stable
2015-02-05 Chris= --> ==
2015-02-05 jimadd link to lambda_evaluator
2015-02-05 ChrisMerge branch 'master' of main.jimpryor.net:/srv/lambda...
2015-02-04 JimMerge branch 'master' into working
2015-02-04 jimupdate for rename of rosetta.mdwn to rosetta1.mdwn
2015-02-04 jimnote what's in progress
2015-02-04 jimupdate for rename of rosetta2.mdwn to rosetta.mdwn
2015-02-04 jimupdate for rename of rosetta.mdwn to rosetta2.mdwn
2015-02-04 jimtweak Index link
2015-02-04 jimadd intermezzo links
2015-02-04 Jimadd link to readings
2015-02-04 Jimcleanup
2015-02-04 jimadd links to Learning Scheme, OCaml, Haskell
2015-02-04 jimAnnounce room for Wednesday session
2015-02-03 jimadd too-good Dijkstra quote
2015-02-03 jimtypo
2015-02-03 jimsuppress Doodle poll
2015-02-03 jimpost about student session
2015-02-03 jimlink to browser.mdwn
2015-02-03 jimdemos of languages
2015-02-02 jimMaths -> Math
2015-02-02 jimAdd link to The Haskell Road to Logic, Maths and Progra...
2015-02-02 Jimfix book links
2015-02-02 Jimtweak haskell links
2015-02-02 Jimtweak haskell links
2015-02-02 Jimtweak lists of prog lang implementations
2015-02-02 Jimtweak lists of prog lang implementations
2015-02-02 Jimtweak lists of prog lang implementations
2015-02-02 Jimtweak lists of prog lang implementations
2015-02-02 Jimwrite up course overview
2015-02-01 Jimmisc tweaks
2015-02-01 Jimreformat front page
2015-02-01 Jimreformat front page
2015-02-01 Jimreformat front page
2015-02-01 Jimreformat front page
2015-02-01 Jimmore broken link
2015-02-01 Jimfix broken link
2015-02-01 Jimfix more broken links
2015-02-01 Jimbroken link
2015-02-01 Jimremove some work-in-progress
2015-02-01 Jimrename _topics_and_themes to content
2015-02-01 JimMerged Chris and Jim's work on front page
2015-02-01 JimMerge branch 'working' into shared
2015-02-01 Chrisstupid git
2015-02-01 Chrisadjustments, notes week 1
2015-02-01 Chrisadjustments
2015-02-01 Jimrename how_to_get...
2015-02-01 Jimreorg, make unready pages begin with _
2015-02-01 Jimreorganize
2015-02-01 Jimweek1 advanced notes
2015-02-01 Jimpost initial week1 notes
2015-01-31 Jimstill more renaming fun
2015-01-31 Jimmore renaming
2015-01-31 Jimformatting and refining front page
2015-01-31 Jimformatting
2015-01-31 Jimadded assignment 1, take 1
2015-01-31 Jimnote about refreshing page, notes for us to add later
2015-01-31 Jimtweaks
2015-01-31 Jimrefine intro page
2015-01-31 JimRefine intro page, add stub for Topics-and-themes page
2015-01-31 Jimformatting
2015-01-31 JimFix notes on Scheme OCaml Haskell
next