search

clash-lang / ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations
Other
43 stars 15 forks source link

Update README.md #26

Closed BebeSparkelSparkel closed 5 years ago

BebeSparkelSparkel commented 5 years ago

Specified that inequalities can also be solved