https://github.com/bgamari/the-thoralf-plugin

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

ghc haskell smt typechecker-plugin

Last synced: 22 Mar 2025