summaryrefslogtreecommitdiff
path: root/testsuite/tests/tcplugins/TyFamPlugin.hs
Commit message (Expand)AuthorAgeFilesLines
* Add rewriting to typechecking pluginssheaf2021-08-131-7/+7
* Add nontrivial type-checking plugin testssheaf2021-07-231-0/+81