Repository navigation

Better interface for builders in lists and sets - #81

Merged

AndreasIgel merged 14 commits into

mainfrom

feature/better-interface-for-builders-in-lists

Oct 24, 2025

Merged

Better interface for builders in lists and sets#81
AndreasIgel merged 14 commits into
mainfrom
feature/better-interface-for-builders-in-lists

Commits on Oct 20, 2025
- Adding builders for lists and sets, which support interfaces with builders
  AndreasIgel
  committed
  0a2cd71
- Adapting tests
  AndreasIgel
  committed
  0f0ea32
- Fixing codeformat
  AndreasIgel
  committed
  19c1d50
Commits on Oct 21, 2025
Commits on Oct 24, 2025