Martin/unify lists#151

Merged

martinfouilleul merged 3 commits into

mainfrom

martin/unify-lists

May 27, 2026

Commits on May 27, 2026

- use same links type for typed and untyped lists
martinfouilleul
committed
list name convention changes: rename elt to links, oc_list_xxx_entry to oc_list_xxx_elt, item to elt
martinfouilleul
committed
update api.json
martinfouilleul
committed