@@ -22,7 +22,7 @@ A Functional Pearl has been written and can be regarded as the [reference docume
23## Features
23## Features
25−This library offers 4 main matrix programming modules:
25+This library offers 3 main matrix programming modules:
27- One in which matrices are typed with type level natural numbers;
27- One in which matrices are typed with type level natural numbers;
28- One in which matrices are typed with arbitrary generic data types;
28- One in which matrices are typed with arbitrary generic data types;