Semirings, rings, division rings, and modules.
Why do you think that https://github.com/mikeizbicki/subhask is a good alternative to rings
Semirings, rings, division rings, and modules.
Why do you think that https://github.com/mikeizbicki/subhask is a good alternative to rings