{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiawor65bixl3tliceu2uijdlio46lx4yvnoqrfygggdoydus5e5oq",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3minewn4b7px2"
  },
  "path": "/t/history-of-dh-dependent-types-in-haskell-contributions/11242?page=2#post_26",
  "publishedAt": "2026-04-04T03:21:23.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "ghc.serokell.io",
    "Dependent Haskell Roadmap"
  ],
  "textContent": "ghc.serokell.io\n\n### Dependent Haskell Roadmap\n\nthe web of work says :\nLast updated: 2025-02-26\n\nDoes the web of work need updating, or did the progress you mention happen early last year or earlier?",
  "title": "History of DH (Dependent Types in Haskell) contributions"
}