formatting, code style
[lambda.git] / index.mdwn
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
2015-01-30 JimRefine notes on Scheme OCaml Haskell
2015-01-30 Jimadd info about getting scheme
2015-01-30 Jimannounce re emails and doodle
2015-01-30 Jimupdate meeting time/place
2015-01-30 Jimrefresh info on books
2015-01-29 Jimpoint to old course site
2015-01-29 Linux UserQuick refresh of frontpage
2011-05-30 Jim PryorMerge branch 'pryor'
2011-05-30 Jim Pryormoved index to .pdc
2011-03-06 Jim PryorMerge branch 'pryor'
2011-03-06 Jim Pryorindex: haskell uptake :-)
2011-02-22 Jim PryorMerge branch 'pryor'
2011-02-22 Jim Pryorwhat is fp?
2010-12-19 Chris Barkeredits
2010-12-13 Jim Pryorindex,new_stuff
2010-12-12 Jim Pryorindex tweaks
2010-12-12 Jim Pryortweak indexes
2010-12-12 Jim Pryordelete upcoming topics, tweak index/new_stuff
2010-12-12 Jim Pryorindex tweaks
2010-12-12 Jim Pryorindex tweaks
2010-12-12 Jim Pryorpost links to state monad tutorial
2010-12-12 Jim Pryorpoint to monad_library
2010-12-07 Jim Pryorfix index
2010-12-07 Jim Pryorfix index
2010-12-07 Jim PryorMerge branch 'pryor'
2010-12-07 Chris Barkeredit
next