Chaddaï Fouché wrote:
My proposal for the SoC is to port HaRe (its parsing and refactoring)
to use the GHC API instead of Programmatica.
This is an appealing idea, and it has the kind of tight scope that makes
it plausible as a summer project. Excellent!