clash-lang / ghc-typelits-natnormalise

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

Use stack on TravisCI #6

Closed christiaanb closed 8 years ago