{
  "title": "Untyped Lambda Calculus",
  "origin_url": "https://www.cl.cam.ac.uk/~pes20/ott/",
  "license_guess": null,
  "code_sha256": "a25fd3a28f647c2f059febb2dec131837d1e99cd2c493445b092f9bd40e16e62",
  "added_at": "2026-03-12T10:00:00Z"
}