[Haskell-cafe] Vectors, vector spaces and type-level Haskell
stuart.hungerford at gmail.com
Mon Oct 4 07:38:06 UTC 2021
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe