)]}'
{
  "commit": "f072543745be751e66c4a408b17771289e9dd27a",
  "tree": "715051aa70ef1e3420a9d7d9ff664a728888afd4",
  "parents": [
    "e129e75e661d066360ee8744aeb8ab176cbc9ad7"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jun 18 11:46:08 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jun 18 12:24:41 2025 +1000"
  },
  "message": "feat: grind annotations relating Nat/Fin fold operations to List\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bb74c8dba22aa8d9c2b5e09377ce01a115a4ffe5",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/FinRange.lean",
      "new_id": "560bb6ddc257225fcc3d492db1060b15b6561e8d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/FinRange.lean"
    },
    {
      "type": "modify",
      "old_id": "37f35465498c2a6f3d15e7b4f0ac6250ef405cef",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Fold.lean",
      "new_id": "1e03734b6a2d721ceef60219a40ad4c8f4f035a1",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Fold.lean"
    }
  ]
}