)]}'
{
  "commit": "8e35014d3eceec3467c8c1be86bed48af1f3b866",
  "tree": "08774f75ecd25867bfc5e3066faf5f5ece1820a2",
  "parents": [
    "0730ba7b7d2fbc79b867d8cd4f48338eff3d31c7"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue Apr 21 13:30:05 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue Apr 21 13:30:05 2026"
  },
  "message": "Negation\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e7d52be3866396f7455f7237b561c00b7e0af295",
      "old_mode": 33188,
      "old_path": "spectec/doc/semantics/il/1-syntax.spectec",
      "new_id": "add78f45354f18035df575feeca8d4211e1c7da4",
      "new_mode": 33188,
      "new_path": "spectec/doc/semantics/il/1-syntax.spectec"
    }
  ]
}