projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
lambda.git
2010-08-25
Jim Pryor
add OCaml manual
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
formatting links
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
formatting tweaks 2
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
formatting tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
links tweaking
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
Ocaml tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
scheme RnRS tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
offsite_reading: add one, tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
tweaked Scheme textbooks
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
expanded OCaml links
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
more details installing OCaml on Mac
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
SML vs Caml
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
added Oleg link re delimcc
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
added a continuation link group
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
added continuations links
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
added monads in category theory links
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
cleaned monad links
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
added monad links
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
Scheme links tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
Scheme links rearrange
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
Scheme links typo
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
adding some Learning Scheme links
commit
|
commitdiff
|
tree
|
snapshot
2010-08-25
Jim Pryor
SML/NJ link fixed
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
family_tree: add F#
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
family_tree: tweak intro
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-08-24
Jim Pryor
family_tree: SML variants
commit
|
commitdiff
|
tree
|
snapshot
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
next