projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
lambda.git
2010-11-21
Jim Pryor
week9 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-11-21
Jim Pryor
week9 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-21
Jim Pryor
week9 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-21
Jim Pryor
week9 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-21
Jim Pryor
week9 state monad
commit
|
commitdiff
|
tree
|
snapshot
2010-11-21
Jim Pryor
week9 implicit-style
commit
|
commitdiff
|
tree
|
snapshot
2010-11-21
Jim Pryor
week9 explicit-style
commit
|
commitdiff
|
tree
|
snapshot
2010-11-21
Jim Pryor
week9 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-11-21
Jim Pryor
week9 expand
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
jim
added parens around [[Q]]
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
post week9
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
week9
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-20
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-19
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
Jim Pryor
assignment7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-18
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-11-17
Jim Pryor
assignment7 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-11-17
Jim Pryor
assignment7 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-11-17
Jim Pryor
post assignment7
commit
|
commitdiff
|
tree
|
snapshot
2010-11-17
Jim Pryor
varbinding tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-11-10
Chris Barker
fixed discussion of lift in intensionality monad
commit
|
commitdiff
|
tree
|
snapshot
2010-11-10
Chris Barker
fixed discussion of lift in intensionality monad
commit
|
commitdiff
|
tree
|
snapshot
2010-11-08
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
commit
|
commitdiff
|
tree
|
snapshot
2010-11-08
Chris Barker
multiple binding with Jacobson
commit
|
commitdiff
|
tree
|
snapshot
2010-11-08
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-11-08
Chris Barker
multiple binding with Jacobson
commit
|
commitdiff
|
tree
|
snapshot
2010-11-08
Chris Barker
Jacobson as a monad
commit
|
commitdiff
|
tree
|
snapshot
2010-11-08
Chris Barker
Jacobson as a monad
commit
|
commitdiff
|
tree
|
snapshot
2010-11-08
Chris Barker
Jacobson as a monad
commit
|
commitdiff
|
tree
|
snapshot
2010-11-08
Chris Barker
Jacobson as a monad
commit
|
commitdiff
|
tree
|
snapshot
2010-11-08
Chris Barker
Jacobson as a monad
commit
|
commitdiff
|
tree
|
snapshot
2010-11-03
Jim Pryor
spell out reader-bind more explicitly
commit
|
commitdiff
|
tree
|
snapshot
2010-11-03
Jim Pryor
offsite reading fix formatting
commit
|
commitdiff
|
tree
|
snapshot
2010-11-03
Jim Pryor
offsite reading fix formatting
commit
|
commitdiff
|
tree
|
snapshot
2010-11-03
Jim Pryor
assign6 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-03
Jim Pryor
week7: rearrange paper links
commit
|
commitdiff
|
tree
|
snapshot
2010-11-03
Jim Pryor
reader/var: adjectives
commit
|
commitdiff
|
tree
|
snapshot
2010-11-03
Jim Pryor
renaming
commit
|
commitdiff
|
tree
|
snapshot
2010-11-03
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
various cleanup
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory ready
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory ready
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
next