Skip to content

Refactor Algebra.Solver.*Monoid (further!)#2457

Draft
jamesmckinna wants to merge 18 commits intoagda:masterfrom jamesmckinna:new-solver-refactor