{
  "title": "Church Encodings",
  "origin_url": "https://en.wikipedia.org/wiki/System_F",
  "license_guess": "Public Domain",
  "code_sha256": "8b2253ddf661ecc273ff2e15ccfda3f8ee8c9ca19494da9c6ca06a07389e7a90",
  "added_at": "2026-03-12T00:29:06Z"
}