{
  "title": "Factorial Function",
  "origin_url": "https://github.com/SMLFamily/Proposed-Definition-of-Successor-ML",
  "license_guess": null,
  "code_sha256": "9a378c530ead67aca5b71013f4c5617d41eeb2d121c6b5843458b682184d8872",
  "added_at": "2026-02-16T17:28:31Z"
}