search

clash-lang / ghc-typelits-natnormalise

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

Add support for GHC 9.4.1 #64

Closed christiaanb closed 2 years ago

Mikolaj commented 2 years ago

Oh, I miseed the merge. Only now it refreshed. :D Hurray!