Skip to content

feat(type-checker): add undefined-identifier, arity, and arg-type dia…#35

Merged
ggulpari merged 3 commits into
mainfrom
feat/type-checker-diagnostics
Apr 22, 2026
Merged

feat(type-checker): add undefined-identifier, arity, and arg-type dia…#35
ggulpari merged 3 commits into
mainfrom
feat/type-checker-diagnostics

Commits

Commits on Apr 22, 2026