@hackage laop0.1.1.0

Matrix programming library

Matrix programming library that uses a type-safe inductive definition inspired by the Linear Algebra of Programming