projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
lambda.git
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat: right arrow
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory: different bold
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory testing
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
id[.]
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
capitalize c1,c2,c3
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
bold categories, greek NTs
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Chris Barker
move hint
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Chris Barker
move hint
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Chris Barker
move hint
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Chris Barker
move hint
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
tweak cat theory
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
tweak cat theory
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
tweak cat theory
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
tweak cat theory
commit
|
commitdiff
|
tree
|
snapshot
2010-11-02
Jim Pryor
cat theory warning
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
barker
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
Added assignmemnt 6
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
comment re 'intensionality monad'
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
fix links to towards monads
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
reader: tweaking markup
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
reader: tweaking markup
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
reader: tweaking markup
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
reader: tweaking markup
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
reader: tweaking markup
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
reader: tweaking markup
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
reader: tweaking markup
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
reader: fix [[]] markup
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
fill in reader monad
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
week6: tweaked hidden notes
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
upcoming topics: tweaked
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
reorg monad links
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
week7 tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
split off reader, intens monads; link to week7
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
add friedman article, week7 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
towards monads tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
week6 tweaks
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
towards monads: tweak error message
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
week7: tweaking
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
towards monads tweak
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
week7: use u,v for monadic terms
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
towards monads: use u,v for monadic terms
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
pattern matching: use standard OCaml conventions
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
move Towards Monads to own page
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
week6: expand
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
link to monads in category theory
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
week7: monad details
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
week7: update monad intro
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
week7: housecleaning
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
expand name 'towards monads'
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
tweak index
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
tweak advanced
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
tweak advanced
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
tweak advanced
commit
|
commitdiff
|
tree
|
snapshot
2010-11-01
Jim Pryor
make advanced folder
commit
|
commitdiff
|
tree
|
snapshot
2010-10-31
ken
Add some examples of monad laws using "safe division"
commit
|
commitdiff
|
tree
|
snapshot
2010-10-31
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
2010-10-31
Chris Barker
edits
commit
|
commitdiff
|
tree
|
snapshot
next