Agda.Termination.Matrix
data Matrix i b
matrixInvariant
data Size i
sizeInvariant
data MIx i
mIxInvariant
fromLists
fromIndexList
toLists
zipWith
matrix
matrixUsingRowGen
size
square
isEmpty
add
mul
diagonal
addRow
addColumn
tests