projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
lambda.git
2010-10-16
Jim Pryor
alternate Y1,Y2 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-10-16
Jim Pryor
alternate strategy for Y1,Y2
commit
|
commitdiff
|
tree
|
snapshot
2010-10-16
Jim Pryor
fix comment about forcing eval order
commit
|
commitdiff
|
tree
|
snapshot
2010-10-07
Jim Pryor
library tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-07
Jim Pryor
add left,CPS lists to library
commit
|
commitdiff
|
tree
|
snapshot
2010-10-06
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-10-06
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-10-05
Jim Pryor
evaluator: note on variable-naming rules
commit
|
commitdiff
|
tree
|
snapshot
2010-10-05
Jim Pryor
fix index link
commit
|
commitdiff
|
tree
|
snapshot
2010-10-05
Jim Pryor
week4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-05
Jim Pryor
week4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-05
Jim Pryor
week4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-05
Jim Pryor
week4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-05
Jim Pryor
week4 f-->f2
commit
|
commitdiff
|
tree
|
snapshot
2010-10-05
Jim Pryor
spelling Ackermann
commit
|
commitdiff
|
tree
|
snapshot
2010-10-05
Jim Pryor
trees tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
posted assignment4
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
tweak assignment4
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
tweak Oleg's rev,list_equal
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
add in Oleg's list_equal
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
library: added Oleg's revappend
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
library: tweak gcd
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
added gcd,lcm to library
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
added more combinators to parser
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
add mockingbird link
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
assignment3 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
assignment3 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
assign 4: hints for list_equal
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
assign 4: hint4 -> hint3
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
assign 4: no hint for enum fringe
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
assignment4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
assignment4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
assignment4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
assignment4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
continuing assignment4
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
assignment4 formatting
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
continuing assignment4
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-10-04
Jim Pryor
continuing assignment4
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
assignment4 tweaks, hints
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
add link from trees->sets
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
index: move eval order
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
fixed assignment3 pred
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
add more links to index
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
continuing assignment4
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
add more links to index
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
assignment4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
gitignore
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
assignment4: reverse
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week4 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
index: remove test
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
index: fixed date ambig
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
assignment 3 clarification
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
more assignment3 name cleanup
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
library: 1st,2nd->fst,snd
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week3 evaluator fix
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
nomenclature on week3 evaluator (sorry)
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
week4 tweaking
commit
|
commitdiff
|
tree
|
snapshot
2010-10-03
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
next