2010-11-02 | Jim Pryor | cat theory tweaks | blob | commitdiff |
2010-11-02 | Jim Pryor | cat theory testing | blob | commitdiff | diff to current |
2010-11-02 | Jim Pryor | id[.] | blob | commitdiff | diff to current |
2010-11-02 | Jim Pryor | capitalize c1,c2,c3 | blob | commitdiff | diff to current |
2010-11-02 | Jim Pryor | Merge branch 'pryor' | blob | commitdiff | diff to current |
2010-11-02 | Jim Pryor | bold categories, greek NTs | blob | commitdiff | diff to current |
2010-11-02 | Jim Pryor | tweak cat theory | blob | commitdiff | diff to current |
2010-11-02 | Jim Pryor | tweak cat theory | blob | commitdiff | diff to current |
2010-11-02 | Jim Pryor | tweak cat theory | blob | commitdiff | diff to current |
2010-11-02 | Jim Pryor | tweak cat theory | blob | commitdiff | diff to current |
2010-11-02 | Jim Pryor | cat theory warning | blob | commitdiff | diff to current |
2010-11-01 | Jim Pryor | link to monads in category theory | blob | commitdiff | diff to current |