Add lists#21

Open

starsandspirals wants to merge 34 commits intoSimonJF:mainfrom

starsandspirals:lists

Commits on Mar 21, 2025

extend a couple more Savina benchmarks to use lists
starsandspirals
committed

Commits on Mar 23, 2025

Commits on Apr 23, 2025

Commits on May 13, 2025

Fix #22 (#23)

SimonJF
authored and
starsandspirals
committed
add simpler communication aliasing example

SimonJF
authored and
starsandspirals
committed

Commits on Oct 22, 2025

Commits on Nov 12, 2025

Commits on Nov 13, 2025

use sum type instead of list for single chosen mailbox in banking example
starsandspirals
committed

Commits on Nov 18, 2025

get banking working
SimonJF
committed

Commits on Dec 4, 2025

Commits on Dec 5, 2025

more list pretty printing
starsandspirals
committed