Skip to content

Rewrite the core: public aug package, runtime degree, monoid augmentations, cursor - #3

Merged
ajwerner merged 30 commits into
mainfrom
harden
Sep 29, 2026
Merged

Rewrite the core: public aug package, runtime degree, monoid augmentations, cursor#3
ajwerner merged 30 commits into
mainfrom
harden

Flatten the wrappers: defined types over aug, one allocation, no indi…

46a2e94
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar