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