{
  "title": "Church Numerals Addition",
  "origin_url": "https://github.com/ucsd-progsys/elsa/blob/master/tests/pos/church.lc",
  "license_guess": null,
  "code_sha256": "4edda0375785264982094644ebb28e5363140c9c04c07eb71fc17c5aee7bfb5b",
  "added_at": "2026-02-08T14:47:45Z"
}