Recursive name and nametype definitions#28

Open

zhengyao-lin wants to merge 7 commits intodevfrom

Commits on Feb 20, 2025

Add succ(..) function for indices and allow recursive name definition (no well-foundedness check yet)
zhengyao-lin
committed
Allow recursive name type to appear in kdf
zhengyao-lin
committed

Commits on Feb 21, 2025

WIP adding recursive name types
zhengyao-lin
committed

Commits on Feb 24, 2025

Example works
zhengyao-lin
committed

Commits on Feb 25, 2025

Commits on Feb 27, 2025

Example with base index
zhengyao-lin
committed