search

clash-lang / ghc-typelits-knownnat

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

Test GHC-9.8.1 in CI #48

Closed christiaanb closed 11 months ago