[initializing repository
ekmett@gmail.com**20080403082348] 
[builds now, needs haddock
ekmett@gmail.com**20080403090113] 
[added comma categories and cartesian closed categories
ekmett@gmail.com**20080405061520] 
[bug fixces
ekmett@gmail.com**20080405062223] 
[oops forgot Based
ekmett@gmail.com**20080405064309] 
[woops
ekmett@gmail.com**20080405064453] 
[Added Full functors, groupoids, and fleshed out some others
ekmett@gmail.com**20080406041146] 
[verbage
ekmett@gmail.com**20080406041625] [fixed up, it compiles again, added the identity functor
ekmett@gmail.com**20080406090954] 
[final draft for the night
ekmett@gmail.com**20080407102648]