Enhance TypeChecker with exponent rules#1713

Merged

mccleeary-galois merged 3 commits intomasterfrom rem/solver-exponents

Jul 30, 2024

+99-3

Commits on Jul 30, 2024

Enhance TypeCheck to reason more about exponents.
mccleeary-galois
committed
Add (x>=2, x^a = x^b => a = b) rule to Numeric.hs.
mccleeary-galois
committed
Move (K^a * K^b) => K^(a + b) from Numeric.hs to SimpType.hs to allow EQ check in Numeric.hs to work for multiplication of exponents as well.
mccleeary-galois
committed