projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
lambda.git
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
family_tree: fix wikipedia links
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
family_tree: test changing wikipedia desc
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
family_tree comment re static/dynamic typing
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
reformatted family_tree
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
family_tree typo
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
family_tree typo
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
family_tree typo
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
reformatted family_tree
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
renamed family_tree
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
added family_tree
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
offsite_reading typo
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
tweaked offsite_reading
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
also added Chris' tutorial to offsite_reading
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
deleted alpha
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
jim
yet one more
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
alpha edit 2
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'master' of ssh://server.philosophy.fas...
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
alpha edit
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
added alpha for testing
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
jim
web edit
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
OCaml lambda interp: when fully reduced
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
OCaml lambda interp: surround brackets with spaces
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
OCaml lambda interp: parens
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
OCaml lambda interp: value of the var
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
tweaked using OCaml lambda interpreter
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
added notes on using OCaml lambda interpreter
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
stub link to OCaml lambda calc
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
tweaks to using page
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
whitespace, formatting
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
moved programming resources to new page, expanded
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
add .swp files to .gitignore
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Add 'using the programming languages'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Rec Readings->Books
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
tweaked offsite reasing
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
more offsite links
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
remark about partial understanding
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
complete merge
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge remote branch 'origin/master'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
schedule: reformat lists, use auto-numbering in some...
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Revert "Merge branch 'pryor'"
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
offsite_reading more formatting
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
offsite_reading formatting
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
formatted offsite_reading
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
added offsite_reading list
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
schedule tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
schedule: reformat lists, use auto-numbering in some...
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
offsite_reading more formatting
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
offsite_reading formatting
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
formatted offsite_reading
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
added offsite_reading list
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
schedule tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
added todo page
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
comment on differences btw Hankin / Hindley&Selden
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
typo
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
added some application reminders
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
added Expletives
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
schedule tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
draft schedule
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
OCaml or Objective Caml
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
promote schedule link to H2
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
moved schedule stub to separate page
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
add note about Hindley and Seldin
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
OCaml -> Caml
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
reformat didn't work, markdown too simple, wish we...
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
formatting of bulleted block
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
more book info, reformatting
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
escape underscores
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
course info
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
how_to_get typos
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
formatting/tweaking the how_to_get page
commit
|
commitdiff
|
tree
|
snapshot
next