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