Skip to content

Add basic typechecking - #72

Merged
MarcellPerger1 merged 126 commits into
mainfrom
add-typechecking
Jul 23, 2026
Merged

Add basic typechecking#72
MarcellPerger1 merged 126 commits into
mainfrom
add-typechecking

Commits

Commits on Jun 15, 2025

Commits on Apr 23, 2026

Commits on Apr 24, 2026

Commits on Jul 2, 2026

Commits on Jul 13, 2026

Commits on Jul 14, 2026

Commits on Jul 20, 2026