1lab icon indicating copy to clipboard operation
1lab copied to clipboard
verified publisher icon plt-amy

wip: displayed category solver

Open plt-amy opened this issue 3 years ago • 3 comments

Solver for associativity/unit for displayed categories. Still need to wire it up to reflection machinery

plt-amy avatar Jul 23 '22 19:07 plt-amy

@TOTBWF CI failure is because of this file still having a reference to CategoryNames

plt-amy avatar Jul 25 '22 19:07 plt-amy

Problem now is that Algebra.Group.Ab uses the monoid solver in two places

plt-amy avatar Jul 26 '22 21:07 plt-amy

Yeah, I have most of a new shiny group solver written, will add tonight.

TOTBWF avatar Jul 26 '22 22:07 TOTBWF