search

konn / ghc-typelits-presburger

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

Mergify: configuration update #15

Closed konn closed 3 years ago

konn commented 3 years ago

This change has been made by @konn from https://mergify.io config editor.