20101102 
Jim Pryor  cat theory ready 
tree  commitdiff 
20101102 
Jim Pryor  cat theory ready 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat: right arrow 
tree  commitdiff 
20101102 
Jim Pryor  cat theory: different bold 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory tweaks 
tree  commitdiff 
20101102 
Jim Pryor  cat theory testing 
tree  commitdiff 
20101102 
Jim Pryor  id[.] 
tree  commitdiff 
20101102 
Jim Pryor  capitalize c1,c2,c3 
tree  commitdiff 
20101102 
Jim Pryor  Merge branch 'pryor' 
tree  commitdiff 
20101102 
Jim Pryor  bold categories, greek NTs 
tree  commitdiff 
20101102 
Jim Pryor  tweak cat theory 
tree  commitdiff 
20101102 
Jim Pryor  tweak cat theory 
tree  commitdiff 
20101102 
Jim Pryor  tweak cat theory 
tree  commitdiff 
20101102 
Jim Pryor  tweak cat theory 
tree  commitdiff 
20101102 
Jim Pryor  cat theory warning 
tree  commitdiff 
20101101 
Jim Pryor  link to monads in category theory 
tree  commitdiff 
20101101 
Jim Pryor  tweak advanced 
tree  commitdiff 
