{
  "title": "Natural Numbers and Addition",
  "origin_url": "https://github.com/Beluga-lang/Beluga/blob/master/examples/intro/add.bel",
  "license_guess": null,
  "code_sha256": "2615741072f3485dfe14b973ae1fb439a1c05f8a91578d858f4f837bc5dbc2d7",
  "added_at": "2026-02-08T21:23:52Z"
}