[ refactor ] use variables in Algebra.Consequences.Base#2592
Open
jamesmckinna wants to merge 17 commits intoagda:masterfrom
Open
[ refactor ] use `variable`s in `Algebra.Consequences.Base`#2592jamesmckinna wants to merge 17 commits intoagda:masterfrom
jamesmckinna wants to merge 17 commits intoagda:masterfrom
Commits
Commits on Feb 6, 2025
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 19, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed