{
  "title": "List Append Function",
  "origin_url": "https://github.com/rems-project/lem/blob/master/library/list.lem",
  "license_guess": "BSD-3-Clause",
  "code_sha256": "267759faa62563d057c82d739c373f727d4b4de5c09fd6aa9ea329f712b0d424",
  "added_at": "2026-02-13T11:20:21Z"
}