@hackage / inch

A type-checker for Haskell with integer constraints

0.2.0

Dependents