Improving documentation for GHC typechecker plugin authors

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.

Repo overview

./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.