Post #2569282

GSoC participating organizations are still to be published on Feb 19 (https://summerofcode.withgoogle.com/), but the sooner the better to start checking out existing ideas to work on a proposal. It is a very nice setting to start working on a OSS project. Ideas from Haskell.org are already published here: https://summer.haskell.org/ideas.html Among them, there is one on type class elaboration in Liquid Haskell proposed by its comaintainer Facundo Dominguez. Last year I had a great time working with Facundo on LH, so I emphatically recommend checking that out.