{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibzjiojqij4klgwxa34ygxwoixaeo5ijvahmayxks3xdbod564eba",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mgxxfyiagdt2"
  },
  "path": "/t/announcing-crem/6012#post_7",
  "publishedAt": "2026-03-13T16:54:44.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "github.com",
    "GitHub - harryprayiv/crem at update",
    "cheeblr/backend at crem2 · harryprayiv/cheeblr · GitHub"
  ],
  "textContent": "I reached for this yesterday and found that it didn’t compile with 9.10. So I rolled up my sleeves and updated it with new version bounds. I was about to submit a pull request but I didn’t know how to handle the literate Haskell doctest part.\n\nHere’s my update so far:\n\ngithub.com\n\n### GitHub - harryprayiv/crem at update\n\nCompositional Representable Executable Machines. Contribute to harryprayiv/crem development by creating an account on GitHub.\n\nAnd here’s where I immediately put it to work on my backend API where it prevents illegal state changes at the type level along with additions to my tests to verify the veracity of that claim: cheeblr/backend at crem2 · harryprayiv/cheeblr · GitHub\n\nThanks for your brilliant work. I feel that I’m finally reaching the point in my journey where I’m starting to understand why so many are anxiously awaiting dependent types.",
  "title": "Announcing `crem`"
}