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