Skip to content

Change manipulate to act on Operator#292

Merged
felixhekhorn merged 6 commits into
masterfrom
manipulate-operators
Aug 8, 2024
Merged

Change manipulate to act on Operator#292
felixhekhorn merged 6 commits into
masterfrom
manipulate-operators

Commits

Commits on Jul 24, 2023

Commits on Jul 31, 2023

Commits on Aug 1, 2023

Commits on Jul 15, 2024

Commits on Aug 8, 2024