)]}'
{
  "commit": "728a6a5611c6402130b2f72793002cf065035b48",
  "tree": "ac1b5c4f6118edd192c572ca4d471542c2f193af",
  "parents": [
    "a709afc074ac812237522fca65b25a8ea5e3008b"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Apr 27 16:11:06 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Apr 27 18:12:05 2020 +0200"
  },
  "message": "feat: basic parenthesizer\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "af411e0ec9ab0373100f0715886b2da1844b0fdd",
      "old_mode": 33188,
      "old_path": "src/Init/Control/Lift.lean",
      "new_id": "1b7549edbb724b10f7e7a6b7172c8337be0a819c",
      "new_mode": 33188,
      "new_path": "src/Init/Control/Lift.lean"
    },
    {
      "type": "modify",
      "old_id": "9f806d907acba9180a7219ac550c1b63294b6214",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Basic.lean",
      "new_id": "e23202f1c34ecdd2791bef7328aac3e52b41a63c",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "88d8fc47eb65524f6094d7e75fc45ab323e11a89",
      "old_mode": 33188,
      "old_path": "src/Init/Lean.lean",
      "new_id": "aa64318cbd7f0c13a1b8c2c6448c90bbe6c11da9",
      "new_mode": 33188,
      "new_path": "src/Init/Lean.lean"
    },
    {
      "type": "modify",
      "old_id": "3cdaad2ae2182a3f2a3bb86252750f62638c0385",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Expr.lean",
      "new_id": "e04f2500e59e96e02ab202bf976ea8301f7abe56",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Expr.lean"
    },
    {
      "type": "modify",
      "old_id": "995cb7d1949edd7cde14bff4ca8975c0df849a29",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Parser/Parser.lean",
      "new_id": "9ea5742b2b18005de848dc4965c07149c23b7fb2",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Parser/Parser.lean"
    },
    {
      "type": "modify",
      "old_id": "4a4a054403e62e346cd227ee24b6db0a3a5e2312",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/PrettyPrinter.lean",
      "new_id": "924c4d553a29e70b204c6eea28fec5ecc96cbf23",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/PrettyPrinter.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "b899b4df89546bc8400231cc5108b03f1bfe21a3",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/PrettyPrinter/Parenthesizer.lean"
    },
    {
      "type": "rename",
      "old_id": "9816a74a056de75fe6712448bbfc452e302aadb8",
      "old_mode": 33188,
      "old_path": "tests/lean/Delaborator.lean",
      "new_id": "0d9c88bcd5d7c00a7e5968dd3ef38fd4f0845b37",
      "new_mode": 33188,
      "new_path": "tests/lean/PPRoundtrip.lean",
      "score": 96
    },
    {
      "type": "rename",
      "old_id": "5fd185563349d74a5aa6af0eb86b5421dc529573",
      "old_mode": 33188,
      "old_path": "tests/lean/Delaborator.lean.expected.out",
      "new_id": "17d813fd0877124a78cfdc2aaed384b764bf78f9",
      "new_mode": 33188,
      "new_path": "tests/lean/PPRoundtrip.lean.expected.out",
      "score": 75
    }
  ]
}