Agda.Termination.SparseMatrix

Basic data types

data Matrix i b

data Size i

data MIx i

Generating and creating matrices

Combining and querying matrices

class Diagonal m e

Modifying matrices