Skip to content

fix(typecheck): infer recursive functions' return type by fixpoint (#88) - #91

Merged
hyperpolymath merged 1 commit into
mainfrom
feat/corpus-typing-88
Jul 29, 2026
Merged

fix(typecheck): infer recursive functions' return type by fixpoint (#88)#91
hyperpolymath merged 1 commit into
mainfrom
feat/corpus-typing-88

fix(typecheck): infer recursive functions' return type by fixpoint (#88)

9216029
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar