Skip to content

type checker fixes#160

Merged
TiaTuinstra merged 1 commit intomainfrom
fix/ty-check
Jan 21, 2026
Merged

type checker fixes#160
TiaTuinstra merged 1 commit intomainfrom
fix/ty-check

Commits

Commits on Jan 20, 2026