General code cleanup - Githubissues

ohnosequences / stuff

Useful stuff.

GNU Affero General Public License v3.0

1 stars 0 forks source link

Closed eparejatobes closed 6 years ago

eparejatobes commented 6 years ago

[x] proper WartRemover setup
[x] remove stuff folder
[x] clean products and tuples
[x] remove zombie code
[x] MAYBE make NaturalTransformation have only source and target functors, not categories too
[x] MAYBE remove SourceObjects, TargetObjects from Functor
[x] MAYBE remove casting from explicit implementations through anonymous classes

eparejatobes commented 6 years ago

Mostly done. I still need to clean (co)cartesian monoidal categories.

eparejatobes commented 6 years ago

Done. LGTM.