bgamari/the-thoralf-plugin

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

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

话题：ghc · haskell · smt · typechecker-plugin

在 GitHub 上查看原仓库