search

yav / type-nat-solver

A plugin for solving numeric constraints in GHC's type-checker
Other
50 stars 5 forks source link

A bit of cleanup #10

Closed bgamari closed 6 years ago

bgamari commented 6 years ago

In playing around with this solver I performed a bit of cleanup and added Travis CI. I hope this is helpful.

Current CI state

yav commented 6 years ago

Thanks!