ZuriHac 2020 GHC typechecker plugins project
Why do you think that https://github.com/gelisam/typelevel-rewrite-rules is a good alternative to tcplugins-zurihac2020
ZuriHac 2020 GHC typechecker plugins project
Why do you think that https://github.com/gelisam/typelevel-rewrite-rules is a good alternative to tcplugins-zurihac2020