search

konn / ghc-typelits-presburger

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

Release 0.7.4.0 #29

Closed konn closed 4 months ago