Repository navigation
feat(typing,desugar): typecheck extern items (clean — replaces #48) - #55
Closed
hyperpolymath wants to merge 1 commit into
Closed
hyperpolymath wants to merge 1 commit into
hyperpolymath wants to merge 1 commit into
Commits
Commits on May 15, 2026