Agda.Termination.Matrix

Basic data types

data Matrix i b
data Size i
data MIx i

Generating and creating matrices

Combining and querying matrices

Modifying matrices

Tests