Repository navigation

feat(typing,desugar): typecheck extern items (clean v2 — replaces #55) - #57

Merged

hyperpolymath merged 1 commit into

mainfrom

feat/extern-typecheck-v2

May 15, 2026

Merged

feat(typing,desugar): typecheck extern items (clean v2 — replaces #55)#57
hyperpolymath merged 1 commit into
mainfrom
feat/extern-typecheck-v2

Commits on May 15, 2026
- feat(typing,desugar): typecheck extern items (v2 grammar phase 2B-i)
  
  hyperpolymath
  and
  claude
  committed
  f83eaa0