clash-lang / ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations
Other
43 stars 15 forks source link

solve more inequalities involving exponentiation #19

Open strake opened 6 years ago

strake commented 6 years ago

I hope this is good — it's unlike the other tests but i'm not sure how else to do it.