issues
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.2.0.20210422
#40
Closed
christiaanb
closed
3 years ago