Skip to content

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

feat(types): add dynamic terms and their type checker

10b01a9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar