@@ -34,6 +34,10 @@ Given this, this new matrix formulation compared to other libraries one has much
3434
3535Unfortunately, this approach does not solve the issue of type dimensions being in some way constrainted making it impossible to write Arrow instances, for example. Type inference isn't perfect, when it comes to infer the types of matrices which dimensions are computed using type level naturals multiplication, the compiler needs type annotations in order to succeed.
3636
37+## Notes
38+
39+This is still a work in progress, any feedback is welcome!
40+
3741## Example
3842
3943```Haskell