)]}'
{
  "commit": "7dfa30805f72038f29dd0c95f2445f0b25940330",
  "tree": "6b9c52d35f07f4bd8e174608b96a1a561fc0fd5b",
  "parents": [
    "e129e75e661d066360ee8744aeb8ab176cbc9ad7"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jun 18 11:36:29 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jun 18 12:21:59 2025 +1000"
  },
  "message": "feat: grind annotations for Function.(un)curry\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2075027f35c0d323cabfd2a5662164e79c44f23b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Function.lean",
      "new_id": "a081d016330e3fea083a2dc2973220b769bd2e66",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Function.lean"
    }
  ]
}