tcplugins-zurihac2020 icon indicating copy to clipboard operation
tcplugins-zurihac2020 copied to clipboard

ZuriHac 2020 GHC typechecker plugins project