Agda.Termination.Matrix
Basic data types
data
Matrix
i b
matrixInvariant
data
Size
i
sizeInvariant
data
MIx
i
mIxInvariant
Generating and creating matrices
fromLists
fromIndexList
toLists
zipWith
matrix
matrixUsingRowGen
Combining and querying matrices
size
square
isEmpty
add
mul
diagonal
Modifying matrices
addRow
addColumn
Tests
tests