{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreigcawjm74m5ylwjhkgbqiyqzc77toubqvri627d3q4tmmwo6wlq2m",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mhw5u22bxau2"
  },
  "path": "/t/history-of-dh-dependent-types-in-haskell-contributions/11242#post_22",
  "publishedAt": "2026-03-25T18:19:17.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "Dependent Haskell Roadmap"
  ],
  "textContent": "From a quick search, there seems to be no mention of dependent types in the last 14 months in the ghc developer blog.\nIs the latest developement of dependent haskell, the timeline mentioned earlier ? ( Dependent Haskell Roadmap )\nThat was 13 months ago",
  "title": "History of DH (Dependent Types in Haskell) contributions"
}