{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiamfre3esdrmtb5luzngoq3ffnl3jorrjek6xfy5fntor6b4lrsum",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mfg5rmpes6i2"
  },
  "path": "/t/history-of-dh-dependent-types-in-haskell-contributions/11242#post_19",
  "publishedAt": "2026-02-22T02:11:04.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "ghc.serokell.io/dh"
  ],
  "textContent": "Has there been more announcements or visible material of any kind ( such as public forks of GHC , comments on issues or merge requests , etc ) relating to dependent haskell, since you shared :\nghc.serokell.io/dh\non this thread, last year?",
  "title": "History of DH (Dependent Types in Haskell) contributions"
}