{
  "title": "Natural Number Arithmetic",
  "origin_url": "https://github.com/mortberg/cubicaltt/blob/master/examples/nat.ctt",
  "license_guess": "MIT",
  "code_sha256": "9b03f8ae74f4efbb049aa0bc7fd9a6ab9d0763944bc34ef4cc21a36bb1c5712a",
  "added_at": "2026-02-27T10:15:00Z"
}