search

clash-lang / ghc-typelits-natnormalise

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

Don't reduce inside boxed equality #45

Closed christiaanb closed 4 years ago

christiaanb commented 4 years ago

Fixes #44 Fixes https://github.com/clash-lang/clash-compiler/issues/1173