Create Matrix.idr