Tell GHC that a <= Max a b (rebased + fixed) - Githubissues

clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver

Other

16 stars 9 forks source link

Tell GHC that a <= Max a b (rebased + fixed) #20

Closed martijnbastiaan closed 5 years ago

martijnbastiaan commented 5 years ago

See #14