Agda.Termination.SparseMatrix

Basic data types

data Matrix i b

matrixInvariant

data Size i

data MIx i

Generating and creating matrices

matrixUsingRowGen

Combining and querying matrices

class Diagonal m e

Modifying matrices

Tests