2015-03-03 |
jim | post King readings, reorganize |
blob | commitdiff |
2015-03-03 |
jim | post readings |
blob | commitdiff | diff to current |
2015-03-02 |
jim | release existing versions, I'm taking too long |
blob | commitdiff | diff to current |
2015-03-01 |
Chris | merge working |
blob | commitdiff | diff to current |
2015-03-01 |
jim | posted link to homework |
blob | commitdiff | diff to current |
2015-03-01 |
jim | posted stubs |
blob | commitdiff | diff to current |
2015-02-25 |
Chris | Merge branch 'working' |
blob | commitdiff | diff to current |
2015-02-25 |
jim | add note about Pierce |
blob | commitdiff | diff to current |
2015-02-24 |
jim | post week3-evaluation order |
blob | commitdiff | diff to current |
2015-02-23 |
Chris | edits |
blob | commitdiff | diff to current |
2015-02-23 |
Chris | Merge branch 'working' |
blob | commitdiff | diff to current |
2015-02-23 |
jim | post week 3 answers |
blob | commitdiff | diff to current |
2015-02-21 |
Jim | Merge branch 'working' |
blob | commitdiff | diff to current |
2015-02-20 |
jim | post homework4 |
blob | commitdiff | diff to current |
2015-02-20 |
Jim | Merge branch 'working' |
blob | commitdiff | diff to current |
2015-02-20 |
jim | posted more about... for week 4 |
blob | commitdiff | diff to current |
2015-02-20 |
jim | post main Y notes |
blob | commitdiff | diff to current |
2015-02-19 |
jim | post stubs for week4 |
blob | commitdiff | diff to current |
2015-02-18 |
jim | link to Unit |
blob | commitdiff | diff to current |
2015-02-18 |
jim | post Hankin Chapter 4 reading, answers to homework 2 |
blob | commitdiff | diff to current |
2015-02-15 |
jim | update links |
blob | commitdiff | diff to current |
2015-02-14 |
jim | post arithmetic |
blob | commitdiff | diff to current |
2015-02-14 |
jim | update with week3 links |
blob | commitdiff | diff to current |
2015-02-12 |
Jim | Merge branch 'working' |
blob | commitdiff | diff to current |
2015-02-12 |
chris | (no commit message) |
blob | commitdiff | diff to current |
2015-02-12 |
Chris | added discussion of computation |
blob | commitdiff | diff to current |
2015-02-12 |
Jim | ->combinatory |
blob | commitdiff | diff to current |
2015-02-10 |
Jim | Merge branch 'master' into working |
blob | commitdiff | diff to current |
2015-02-10 |
jim | add stubs for week3 |
blob | commitdiff | diff to current |
2015-02-10 |
Jim | Merge branch 'master' into working |
blob | commitdiff | diff to current |
2015-02-10 |
jim | link to answers1 |
blob | commitdiff | diff to current |
2015-02-08 |
jim | typo |
blob | commitdiff | diff to current |
2015-02-08 |
Jim | push assignment2 |
blob | commitdiff | diff to current |
2015-02-07 |
jim | encodings done |
blob | commitdiff | diff to current |
2015-02-07 |
Jim | push encodings (unfinished) |
blob | commitdiff | diff to current |
2015-02-07 |
Jim | Merge branch 'master' into working |
blob | commitdiff | diff to current |
2015-02-07 |
jim | tweak |
blob | commitdiff | diff to current |
2015-02-07 |
Jim | tweak links |
blob | commitdiff | diff to current |
2015-02-07 |
jim | fix link |
blob | commitdiff | diff to current |
2015-02-07 |
jim | add links to (some) week2 notes |
blob | commitdiff | diff to current |
2015-02-07 |
jim | update for rename of topics/week1_advanced_notes.mdwn... |
blob | commitdiff | diff to current |
2015-02-07 |
jim | update for rename of topics/week1.mdwn to topics/week1_... |
blob | commitdiff | diff to current |
2015-02-06 |
jim | rosetta1 should be stable |
blob | commitdiff | diff to current |
2015-02-05 |
Chris | = --> == |
blob | commitdiff | diff to current |
2015-02-05 |
jim | add link to lambda_evaluator |
blob | commitdiff | diff to current |
2015-02-05 |
Chris | Merge branch 'master' of main.jimpryor.net:/srv/lambda... |
blob | commitdiff | diff to current |
2015-02-04 |
Jim | Merge branch 'master' into working |
blob | commitdiff | diff to current |
2015-02-04 |
jim | update for rename of rosetta.mdwn to rosetta1.mdwn |
blob | commitdiff | diff to current |
2015-02-04 |
jim | note what's in progress |
blob | commitdiff | diff to current |
2015-02-04 |
jim | update for rename of rosetta2.mdwn to rosetta.mdwn |
blob | commitdiff | diff to current |
2015-02-04 |
jim | update for rename of rosetta.mdwn to rosetta2.mdwn |
blob | commitdiff | diff to current |
2015-02-04 |
jim | tweak Index link |
blob | commitdiff | diff to current |
2015-02-04 |
jim | add intermezzo links |
blob | commitdiff | diff to current |
2015-02-04 |
Jim | add link to readings |
blob | commitdiff | diff to current |
2015-02-04 |
Jim | cleanup |
blob | commitdiff | diff to current |
2015-02-04 |
jim | add links to Learning Scheme, OCaml, Haskell |
blob | commitdiff | diff to current |
2015-02-04 |
jim | Announce room for Wednesday session |
blob | commitdiff | diff to current |
2015-02-03 |
jim | add too-good Dijkstra quote |
blob | commitdiff | diff to current |
2015-02-03 |
jim | typo |
blob | commitdiff | diff to current |
2015-02-03 |
jim | suppress Doodle poll |
blob | commitdiff | diff to current |
2015-02-03 |
jim | post about student session |
blob | commitdiff | diff to current |
2015-02-03 |
jim | link to browser.mdwn |
blob | commitdiff | diff to current |
2015-02-03 |
jim | demos of languages |
blob | commitdiff | diff to current |
2015-02-02 |
jim | Maths -> Math |
blob | commitdiff | diff to current |
2015-02-02 |
jim | Add link to The Haskell Road to Logic, Maths and Progra... |
blob | commitdiff | diff to current |
2015-02-02 |
Jim | fix book links |
blob | commitdiff | diff to current |
2015-02-02 |
Jim | tweak haskell links |
blob | commitdiff | diff to current |
2015-02-02 |
Jim | tweak haskell links |
blob | commitdiff | diff to current |
2015-02-02 |
Jim | tweak lists of prog lang implementations |
blob | commitdiff | diff to current |
2015-02-02 |
Jim | tweak lists of prog lang implementations |
blob | commitdiff | diff to current |
2015-02-02 |
Jim | tweak lists of prog lang implementations |
blob | commitdiff | diff to current |
2015-02-02 |
Jim | tweak lists of prog lang implementations |
blob | commitdiff | diff to current |
2015-02-02 |
Jim | write up course overview |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | misc tweaks |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | reformat front page |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | reformat front page |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | reformat front page |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | reformat front page |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | more broken link |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | fix broken link |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | fix more broken links |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | broken link |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | remove some work-in-progress |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | rename _topics_and_themes to content |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | Merged Chris and Jim's work on front page |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | Merge branch 'working' into shared |
blob | commitdiff | diff to current |
2015-02-01 |
Chris | stupid git |
blob | commitdiff | diff to current |
2015-02-01 |
Chris | adjustments, notes week 1 |
blob | commitdiff | diff to current |
2015-02-01 |
Chris | adjustments |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | rename how_to_get... |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | reorg, make unready pages begin with _ |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | reorganize |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | week1 advanced notes |
blob | commitdiff | diff to current |
2015-02-01 |
Jim | post initial week1 notes |
blob | commitdiff | diff to current |
2015-01-31 |
Jim | still more renaming fun |
blob | commitdiff | diff to current |
2015-01-31 |
Jim | more renaming |
blob | commitdiff | diff to current |
2015-01-31 |
Jim | formatting and refining front page |
blob | commitdiff | diff to current |
2015-01-31 |
Jim | formatting |
blob | commitdiff | diff to current |
2015-01-31 |
Jim | added assignment 1, take 1 |
blob | commitdiff | diff to current |
2015-01-31 |
Jim | note about refreshing page, notes for us to add later |
blob | commitdiff | diff to current |
next |