GitHub repository: Divesh-Otwani/the-thoralf-plugin
Primary language: Haskell
Description: This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.