)]}'
{
  "commit": "be63722954169491f6f07e488db7274064d9fab7",
  "tree": "061ea74405547e211e4d52b8b31dee0bcf0d4201",
  "parents": [
    "bf4dc0e626c181c8c038735068d7507d55f22b74"
  ],
  "author": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Thu Jul 30 07:45:25 2026 -0300"
  },
  "committer": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Thu Jul 30 07:45:25 2026 -0300"
  },
  "message": "feat: add missing parts\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "01c0c4392ac402e3aba82c873192d9da56b2d05a",
      "old_mode": 33188,
      "old_path": "src/Std/FS/Types.lean",
      "new_id": "fcc0531a102ac1e4e8613516d390edb74e8c6049",
      "new_mode": 33188,
      "new_path": "src/Std/FS/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "43ed84ad801fc5553c57b72ca19969d7f741fa3f",
      "old_mode": 33188,
      "old_path": "src/Std/Path/Basic.lean",
      "new_id": "b967fe3a452568eb0a62cda3ee4eef8bf4f217f5",
      "new_mode": 33188,
      "new_path": "src/Std/Path/Basic.lean"
    }
  ]
}