{
  "title": "Natural Numbers and Addition",
  "origin_url": "https://github.com/mikeshulman/narya/blob/main/examples/peano.ny",
  "license_guess": null,
  "code_sha256": "0bf40c0130db3124a7d7805a96236126bd37059e5736690d87a016ab846edebb",
  "added_at": "2026-02-13T15:19:14Z"
}