)]}'
{
  "commit": "2ac31944314325d2e0bd5e67fcbf73ac8e50ef51",
  "tree": "94262011232e5249bcb6156e734dda4a71e51982",
  "parents": [
    "5adadc3158c40c5d924f0cc4adac2d308c78efa1"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Dec 20 14:05:08 2019 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Dec 20 14:06:34 2019 +0100"
  },
  "message": "chore: elaborator comments and minor changes\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bb146e1ce7be0cb5cd9c06b2943411bb64f86222",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Elab/Term.lean",
      "new_id": "7a24893d2e2008d46ecb410cd9fa3773253ea6fc",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "4d9d0aaf6a95dd46683be52736e919e3d7dc2946",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Elab/TermApp.lean",
      "new_id": "974938b96ca9b4a134a33df1d5347e41d7a82e86",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Elab/TermApp.lean"
    },
    {
      "type": "modify",
      "old_id": "355cb13e7ee3459fcda5769c6b080e241f1c6f06",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Elab/TermBinders.lean",
      "new_id": "43bf160380cfdf1c77876fdc90ab39dd27333287",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Elab/TermBinders.lean"
    }
  ]
}