Skip to content

feat: recursive data types as iso-recursive mu, with fold and unfold (E9, D7) - #438

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/e2e-language-pass-ow72tj
Nov 10, 2026
Merged

feat: recursive data types as iso-recursive mu, with fold and unfold (E9, D7)#438
hyperpolymath merged 1 commit into
mainfrom
claude/e2e-language-pass-ow72tj

feat: recursive data types as iso-recursive mu, with fold and unfold …

a1f48c7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar