Skip to content

Rename contract! to contractadd! when α, β are specified#82

Merged
mtfishman merged 8 commits into
mainfrom
mf/contractadd
Sep 11, 2025
Merged

Rename contract! to contractadd! when α, β are specified#82
mtfishman merged 8 commits into
mainfrom
mf/contractadd

Commits

Commits on Sep 11, 2025