search

clash-lang / ghc-typelits-natnormalise

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

Should solve #22

Closed christiaanb closed 5 years ago

christiaanb commented 5 years ago 
given: 1 <= E x
solve: 1 <= E x * C

given: 1 <= C
solve: E x <= E x * C
christiaanb commented 5 years ago

Solved by: ce7315294c399a86234fdda5c872af720e385fce and ede76260967a20c31991df007f43882e430c169d