yav/type-nat-solver

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

语言：Haskell · GitHub 星标：51 · Fork：5

在 GitHub 上查看原仓库