Repository navigation

Type system framework for Kirin - #855

Draft

planza-quera wants to merge 6 commits into

rustfrom

planza/type-system-framework

Draft

Type system framework for Kirin#855
planza-quera wants to merge 6 commits into
rustfrom
planza/type-system-framework

Commits on Nov 11, 2026
- fix(ir): resolve identifier! paths through $crate
  planza-quera
  committed
  9846bae
- feat(types): add kirin-types with sorted static terms
  planza-quera
  committed
  4a05744
- feat(types): add int and bool static constructor sets
  planza-quera
  committed
  160d0fc
- feat(types): substitute static arguments into static terms
  planza-quera
  committed
  d39dfc9
- feat(types): fold constant static terms
  planza-quera
  committed
  c30764c
- feat(types): add dynamic terms and their type checker
  planza-quera
  committed
  10b01a9