[Serokell Blog] Work on GHC: Dependent Types, Part 3

Actually , you can propose your project yourself. That is what i did last GSoC. I proposed tooling improvements to cmm ( GHC IR ) and it was accepted. Note that if @int-index is not capable of mentoring you. Someone else might. For example idris2 developers have an understanding of dependent languages and some understand GHC