search

clash-lang / ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints
Other
14 stars 10 forks source link

Add support for GHC 9.11.20240522 #52

Open christiaanb opened 5 months ago

sheaf commented 1 week ago

I have added GHC 9.12 support based off of this MR; see https://github.com/clash-lang/ghc-typelits-natnormalise/pull/82#issuecomment-2446799313.