/type-nat-solver

A plugin for solving numeric constraints in GHC's type-checker

Primary LanguageHaskellOtherNOASSERTION

Stargazers