{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreih4s35wtvojyqrhyjkrievaditjew6nvfpuarctdhps422i7fs224",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mfebehlrotv2"
  },
  "path": "/t/serokell-blog-work-on-ghc-dependent-types-part-3/9416#post_13",
  "publishedAt": "2026-02-21T03:07:25.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "@int-index"
  ],
  "textContent": "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",
  "title": "[Serokell Blog] Work on GHC: Dependent Types, Part 3"
}