{
  "title": "Stack Specification with Axioms",
  "origin_url": "https://www.dcs.ed.ac.uk/home/dt/eml/eml.html",
  "license_guess": null,
  "code_sha256": "00e1c8751f04ccf5a98bd9ed8d0dabf099366b5167c4b72400c9d7cbe27017f4",
  "added_at": "2026-02-11T09:18:40Z"
}
