Defining matrix with direct sum domain

Stream: new members

[Vivek Rajesh Joshi]

How do you define a matrix where you want the domain to be the direct sum of two Fins? Specifically, I'm looking to define a matrix of type Matrix (Sum (Fin r) Unit) (Sum (Fin r) Unit) Rat

[Eric Wieser]

Did you mean to write that without the+?

[Eric Wieser]

I think the answer here is docs#Matrix.fromBlocks

[Vivek Rajesh Joshi]

Eric Wieser said:

Did you mean to write that without the+?

Ohh yes sorry