Skip to content

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test#138

Merged
hyperpolymath merged 2 commits into
mainfrom
feat/aggregate-idris2-fixture
Jun 24, 2026
Merged

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test#138
hyperpolymath merged 2 commits into
mainfrom
feat/aggregate-idris2-fixture

Merge branch 'main' into feat/aggregate-idris2-fixture

4501f7e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar