Skip to content

export more traits in prelude which are implemented on public types. - #17

Merged
MathisWellmann merged 1 commit into
mainfrom
traits
Jul 18, 2026
Merged

export more traits in prelude which are implemented on public types.#17
MathisWellmann merged 1 commit into
mainfrom
traits

export more traits in prelude which are implemented on public types.

798b219
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check
succeeded Jul 18, 2026 in 59s