| 2010-08-24 | Jim Pryor | Merge branch 'master' of ssh://server.philosophy.fas... |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | alpha edit Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | added alpha for testing Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | OCaml lambda interp: when fully reduced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | OCaml lambda interp: surround brackets with spaces Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | OCaml lambda interp: parens Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | OCaml lambda interp: value of the var Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | tweaked using OCaml lambda interpreter Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | added notes on using OCaml lambda interpreter Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | stub link to OCaml lambda calc Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | tweaks to using page Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | whitespace, formatting Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | moved programming resources to new page, expanded Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | add .swp files to .gitignore Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Add 'using the programming languages' Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Rec Readings->Books Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | tweaked offsite reasing Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | more offsite links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | remark about partial understanding Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | complete merge Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge remote branch 'origin/master' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | schedule: reformat lists, use auto-numbering in some... Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Revert "Merge branch 'pryor'" |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | offsite_reading more formatting Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | offsite_reading formatting Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | formatted offsite_reading Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | added offsite_reading list Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | schedule tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | schedule: reformat lists, use auto-numbering in some... Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | offsite_reading more formatting Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | offsite_reading formatting Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | formatted offsite_reading Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | added offsite_reading list Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | schedule tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | added todo page Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | comment on differences btw Hankin / Hindley&Selden Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | typo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | added some application reminders Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | added Expletives Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | schedule tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | draft schedule Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | OCaml or Objective Caml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | promote schedule link to H2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | moved schedule stub to separate page Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | add note about Hindley and Seldin Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | OCaml -> Caml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | reformat didn't work, markdown too simple, wish we... Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | formatting of bulleted block Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | more book info, reformatting Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | escape underscores Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | course info Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | how_to_get typos Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | formatting/tweaking the how_to_get page Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | removed test discussion on index page Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | rearranged index Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-23 | Jim Pryor | merged in overview Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-22 | Jim Pryor | Revert ".mdwn -> .markdown" |
commit | commitdiff | tree |
| 2010-08-22 | Jim Pryor | .mdwn -> .markdown Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-22 | Jim Pryor | added actiontabs.css Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-22 | Jim Pryor | Testing git changes Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |