Skip to content

feat(hydro_lang): capture fold commutativity/idempotency in IR nodes#2925

Closed
jhellerstein wants to merge 1 commit into
mainfrom
feat/is-proved-fold-properties
Closed

feat(hydro_lang): capture fold commutativity/idempotency in IR nodes#2925
jhellerstein wants to merge 1 commit into
mainfrom
feat/is-proved-fold-properties