From: Lady <redacted>
Date: Mon, 24 Feb 2025 02:10:58 +0000 (-0500)
Subject: Add Olo
X-Git-Url: https://git.ladys.computer/Vocab/commitdiff_plain/80a278934101021d491140c9fd1bc992ec7d3d18?hp=80a278934101021d491140c9fd1bc992ec7d3d18

Add Olo

This defines Ordered Lists as effectively a more ergonomic kind of
Aggregation, which helps with bridging them and Ore‐ or P·C·D·M‐based
models. One caveat is that this requires Slots to have exactly one
item, and their item to be an object (i·e not a literal). In an
alternate universe, Slots could instead have had _either_ an item _or_
a value, but it’s simple enough to just make their item be an object
with that value instead.

Helping to facilitate the above is a new Ordered Aggregation in the
`ladys:` name·space, which is like an Ordered List but without the
requirement of a length.
---