ATProto Browser

{
  "text": "What is a MiniIdris? I try to keep up with Idris development but haven’t heard of this.",
  "$type": "app.bsky.feed.post",
  "langs": [
    "en"
  ],
  "reply": {
    "root": {
      "cid": "bafyreier46pg7kc5brypmymr7ktqvudbagfwhd4jo4osdmr6plg2otcpfa",
      "uri": "at://did:plc:g6y64uho7mea2blzk24e6t6l/app.bsky.feed.post/3lnssv2jggs2e"
    },
    "parent": {
      "cid": "bafyreier46pg7kc5brypmymr7ktqvudbagfwhd4jo4osdmr6plg2otcpfa",
      "uri": "at://did:plc:g6y64uho7mea2blzk24e6t6l/app.bsky.feed.post/3lnssv2jggs2e"
    }
  },
  "createdAt": "2025-04-27T18:24:50.455Z"
}