Should we rename `dense_matrix_type` to `matrix_type` ?

Open fingolfin opened this issue 2 years ago • 1 comments

... in accordance with the big renaming HackMD?

CC @fieker @thofma

If yes I can make a PR once PR #1305 is merged.

Mar 27 '23 21:03 fingolfin

Fine with me

Mar 28 '23 06:03 thofma