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
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
2010-08-23
Jim Pryor
removed test discussion on index page
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
rearranged index
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Jim Pryor
merged in overview
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
Chris Barker
Added installation instructions
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
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
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
chris
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-23
Chris Barker
Trivial initial test
commit
|
commitdiff
|
tree
|
snapshot
2010-08-22
Jim Pryor
Revert ".mdwn -> .markdown"
commit
|
commitdiff
|
tree
|
snapshot
2010-08-22
Jim Pryor
.mdwn -> .markdown
commit
|
commitdiff
|
tree
|
snapshot
2010-08-22
Jim Pryor
added actiontabs.css
commit
|
commitdiff
|
tree
|
snapshot
2010-08-22
lambda
Testing lockedit (non-admin)
commit
|
commitdiff
|
tree
|
snapshot
2010-08-22
jim
Testing lockedit
commit
|
commitdiff
|
tree
|
snapshot
2010-08-22
Jim Pryor
Testing git changes
commit
|
commitdiff
|
tree
|
snapshot
2010-08-22
jim
testing "Sample content"
commit
|
commitdiff
|
tree
|
snapshot
2010-08-22
Lambda Wiki
initial commit
commit
|
commitdiff
|
tree
|
snapshot