[Haskell-cafe] Vectors, vector spaces and type-level Haskell

[Stuart Hungerford]

On Mon, 4 Oct 2021 at 4:25 pm, Branimir Maksimovic <
branimir.maksimovic at gmail.com> wrote:

> 2d vector space is generated by two base vectors, if, which are orthogonal,
> that is normalised. They generate any other vector in that space.


Yes, so I would be looking to somehow tie  the 2 basis vectors back to a 2D
vector space. Or indeed n basis vectors to an n-vector space.

Thanks,

Stu


>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20211004/c2090fdb/attachment.html>