Iltotore/iron

"Rework" Cats numeric instances for Iron

Closed this issue · 0 comments

Iltotore commented
  • Depend on Algebra
  • Provide more powerful instances when possible (e.g Ring)
  • Make numeric instances generation more flexible (e.g use Greater and Less combined with implications instead of Positive and Negative)
  • Get rid of PosShift and NegShift ?