Commutative rings #87
Labels
algebra
For issues/pull requests relating to the Algebra.* namespace
enhancement
New feature or request
good first issue
Good for newcomers
Mirror the definition of
Ab
forCRing
, so we get univalence of the category of commutative rings for free.TODO:
Data.Int
has everything we need to provide aCRing
of integers. Just needs to be assembled.The text was updated successfully, but these errors were encountered: