ATProto Browser

Record data

{
  "uri": "at://did:plc:kis5bnrceksghgqo5xecrntl/app.bsky.feed.post/3ln24ikjetk2k",
  "cid": "bafyreidoyt2rlmc5bqayv54gtz7ja5zf5jjlv3bw4smt4sccgvwkhmammu",
  "value": {
    "text": "you could consider the unfoldings of petri nets to be linearly-typed expressions where functions = transitions\n\nconsequently, a petri net unfolder enumerates all linearly-typed expressions for a given set of functions",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "createdAt": "2025-04-17T22:06:27.807Z"
  }
}