Closed Rotaerk closed 6 years ago
I think the right-hand side here should use sameDim, not sameDim': https://github.com/achirkin/easytensor/blob/master/dimensions/src/Numeric/Dim.hs#L321
sameDim
sameDim'
Thanks, indeed, a typo! Fixed now
I think the right-hand side here should use
sameDim
, notsameDim'
: https://github.com/achirkin/easytensor/blob/master/dimensions/src/Numeric/Dim.hs#L321