The goal of this project is to document the GHC constraint solver and how an author of a typechecker plugin can and should interact with it.
Welcome to the project repository! This community effort began at ZuriHac 2020.
./ToDo.md the evolving plan
./Biblio.md annotated bibliography
./GHC-track-presentation contains Frisby's slides from ZuriHac 2020 GHC Track. Will include eventual errata etc.