)]}'
{
  "commit": "1564e99f407bcf94bb54c0af93b4e1df1b437c83",
  "tree": "36e957c8e3fd53c4add8acfeb0a45117b895260e",
  "parents": [
    "a4409f9df13283643f12c9c2189d97f96a348e79"
  ],
  "author": {
    "name": "Joachim Breitner",
    "email": "mail@joachim-breitner.de",
    "time": "Wed Feb 04 10:27:40 2026 +0000"
  },
  "committer": {
    "name": "Joachim Breitner",
    "email": "mail@joachim-breitner.de",
    "time": "Wed Feb 04 10:27:40 2026 +0000"
  },
  "message": "Avoid whnf on Nat\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ff4bde418acdc5650438e4e71c99a5d5bde29fc8",
      "old_mode": 33188,
      "old_path": "src/kernel/type_checker.cpp",
      "new_id": "31973f8b0b8d64c263e33697e7d91c845fcd885c",
      "new_mode": 33188,
      "new_path": "src/kernel/type_checker.cpp"
    }
  ]
}