search

clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Other
16 stars 9 forks source link

Update CI to use GHC 9.0.2 / 9.2.1 #39

Closed alex-mckenna closed 2 years ago