search

konn / ghc-typelits-presburger

Presburger arithmetic solver for built-in type-level naturals
6 stars 6 forks source link

Add supports for `Min` and `Max` #13

Closed konn closed 3 years ago