projects
/
lambda.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix links to v4 lists
[lambda.git]
/
week2.mdwn
2010-09-24
barker
(no commit message)
blob
|
commitdiff
2010-09-24
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-24
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-20
Jim Pryor
Merge branch 'pryor'
blob
|
commitdiff
|
diff to current
2010-09-20
Jim Pryor
week2: more fussy notes
blob
|
commitdiff
|
diff to current
2010-09-20
Jim Pryor
week2: tweak, undecidability of pred logic
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 tweak
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2: ~~>_eta
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 tweak
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 tweak
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 tweak
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 tweak
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 tweak
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 reorg some alpha-equiv stuff
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 tweaks
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 tweaks (eta-reduction)
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 tweaks
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 tweaks
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2: expand on eta and extensionality
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
Merge branch 'pryor'
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2 typo
blob
|
commitdiff
|
diff to current
2010-09-19
Jim Pryor
week2: comments about alpha-conversion, de Bruijn
blob
|
commitdiff
|
diff to current
2010-09-19
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-19
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-19
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-19
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-19
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
Jim Pryor
Merge branch 'pryor'
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
Jim Pryor
Merge branch 'pryor'
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
Jim Pryor
week2 tweaks
blob
|
commitdiff
|
diff to current
2010-09-18
Jim Pryor
week2 tweaks
blob
|
commitdiff
|
diff to current
2010-09-18
Jim Pryor
week2 tweaks
blob
|
commitdiff
|
diff to current
2010-09-18
Jim Pryor
week2 tweaks
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
barker
(no commit message)
blob
|
commitdiff
|
diff to current
2010-09-18
Chris Barker
Writing lecture 2
blob
|
commitdiff
|
diff to current
2010-09-17
Jim Pryor
tweak week2
blob
|
commitdiff
|
diff to current
2010-09-17
Jim Pryor
tweak week{2,3}
blob
|
commitdiff
|
diff to current
2010-09-16
Jim Pryor
spawn week3
blob
|
commitdiff
|
diff to current
2010-09-16
Jim Pryor
tweak week2
blob
|
commitdiff
|
diff to current
2010-09-16
Jim Pryor
tweak week2
blob
|
commitdiff
|
diff to current
2010-09-16
Jim Pryor
tweak week2
blob
|
commitdiff
|
diff to current
2010-09-16
Jim Pryor
tweak week2
blob
|
commitdiff
|
diff to current
2010-09-16
Jim Pryor
tweak week2
blob
|
commitdiff
|
diff to current
2010-09-16
Jim Pryor
tweak week2
blob
|
commitdiff
|
diff to current
2010-09-16
Jim Pryor
Merge branch 'pryor'
blob
|
commitdiff
|
diff to current
2010-09-16
Jim Pryor
expand/clean week2
blob
|
commitdiff
|
diff to current
2010-09-16
Jim Pryor
writing up week2
blob
|
commitdiff
|
diff to current
2010-09-15
Jim Pryor
continue week1 summary, add week2 pages
blob
|
commitdiff
|
diff to current