feat: dependent function types#21

Draft

iljakuklic wants to merge 17 commits intodevelfrom

Commits on Mar 24, 2026

docs: add Pi types design document and update syntax reference

iljakuklic
and
claude
committed
test: add snapshot test inputs for Pi types and lambdas

iljakuklic
and
claude
committed

Commits on Mar 25, 2026

Commits on Mar 26, 2026

fix: address PR #21 review comments

iljakuklic
and
claude
committed
refactor: make Pi and Lam hold a variadic param list (uncurried)

iljakuklic
and
claude
committed
refactor: add phase to Pi, use &Term in globals table, remove FunSig

iljakuklic
and
claude
committed