projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
lambda.git
2010-09-19
Jim Pryor
week3 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week3 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2: ~~>_eta
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 reorg some alpha-equiv stuff
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week1 add link
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week1: functional ocaml turing complete after all
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 tweaks (eta-reduction)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2: expand on eta and extensionality
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2 typo
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week2: comments about alpha-conversion, de Bruijn
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week1 fixes
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week3 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week3 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week3 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
week3 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
tweaked week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
tweaked week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
kept developing week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
tweaked week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
tweaked week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
tweaked week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
tweaked week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
tweaked week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
tweaked week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
tweaked week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
kept developing week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
developed week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
week2 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
week2 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
week2 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Jim Pryor
week2 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Chris Barker
resized image
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Chris Barker
Szabolcsi reflexive image
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
Chris Barker
Writing lecture 2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
announce student session
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
tweak week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
tweak week2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
tweak week{2,3}
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
update schedule
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
remove sandbox
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
add assignment2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
tweak lists_and_numbers
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
fix multiplication
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
lists_and_numbers: lists v3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
tweak lists_and_numbers
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
tweak lists_and_numbers
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
tweak lists_and_numbers
commit
|
commitdiff
|
tree
|
snapshot
2010-09-17
Jim Pryor
expanding lists_and_numbers
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
spawn week3
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
week1: add side-effects
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
tweak week2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
reorg some links
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
merge lists, numbers
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
tweak week2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
tweak week2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
damn: undelim -> delim
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
tweak week2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
tweak week2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
tweak week2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
expand/clean week2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-16
Jim Pryor
add links to week1
commit
|
commitdiff
|
tree
|
snapshot
next