tcplugins-zurihac2020
tcplugins-zurihac2020 copied to clipboard
Published
20 hours ago •
nfrisby
nfrisby
ZuriHac 2020 GHC typechecker plugins project
Results
3
tcplugins-zurihac2020 issues
Sort by
recently updated
recently updated
newest added
The `inj-tyfam-plugin` added by #5 probably needs to do some zonking. We need to find a repro that requires it (see the comments there).
From @philderbeast: On the wiki there's a note about a module using a plugin and the plugin having to be in separate packages or separate targets in the same package....
