Agda.Termination.SparseMatrix

Basic data types

data Matrix i b
data Size i
data MIx i

Generating and creating matrices

Combining and querying matrices

Modifying matrices

Tests