Skip to content
This repository was archived by the owner on Jan 8, 2026. It is now read-only.

Proposal for a typed value#5

Closed
marcelluethi wants to merge 2 commits intomainfrom
typed-value
Closed

Proposal for a typed value#5
marcelluethi wants to merge 2 commits intomainfrom
typed-value

Commits

Commits on Dec 22, 2025