{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibo32tc4e42rp33oghzs437wwscrt627hwildxe2e57z4b4owvrxi",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mirgvidjump2"
  },
  "path": "/t/history-of-dh-dependent-types-in-haskell-contributions/11242?page=2#post_27",
  "publishedAt": "2026-04-05T05:31:49.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "GunpowderGuy:\n\n> Does the web of work need updating\n\nYes, it needs updating.",
  "title": "History of DH (Dependent Types in Haskell) contributions"
}