WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Add support for inductively defined functions#8878

Draft
stevenraphael wants to merge 19 commits intohalide:mainfrom
stevenraphael:inductive2
Draft

Add support for inductively defined functions#8878
stevenraphael wants to merge 19 commits intohalide:mainfrom
stevenraphael:inductive2

Commits

Commits on Nov 11, 2025

Commits on Nov 20, 2025

Commits on Nov 21, 2025

Commits on Nov 22, 2025

Commits on Nov 23, 2025

Commits on Nov 24, 2025

Commits on Dec 4, 2025

Commits on Dec 5, 2025

Commits on Dec 11, 2025

Commits on Dec 13, 2025