issues
search
clash-lang
/
ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
Other
14
stars
10
forks
source link
Use `ghc-typelits-natnormalise-0.6`
#20
Closed
christiaanb
closed
6 years ago