GitHub repository: nfrisby/tcplugins-zurihac2020
Primary language: HTML
Created: 2020-06-12T01:11:01Z
Description: ZuriHac 2020 GHC typechecker plugins project