projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
lambda.git
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
tweak ml code/instructions
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
numbers: tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
using: tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
start linking to lambda calculators
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
delete ocaml binaries
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
fixed merge
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
move *.js, *.ml -> code/
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Chris Barker
minor
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
reword assignment 2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Chris Barker
fiddles
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
assignment 2 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
assignment 2 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
assignment 2 formatting
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
week2: more fussy notes
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Chris Barker
A way to test homework solutions for students
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
expand assignment 2
commit
|
commitdiff
|
tree
|
snapshot
2010-09-20
Jim Pryor
week2: tweak, undecidability of pred logic
commit
|
commitdiff
|
tree
|
snapshot
2010-09-19
Jim Pryor
post week2 stuff
commit
|
commitdiff
|
tree
|
snapshot
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
next