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

Henning Thielemann lemming at henning-thielemann.de
Mon Oct 4 16:05:31 UTC 2021

On Mon, 4 Oct 2021, Stuart Hungerford wrote:

> I'd like to model in Haskell two-dimensional vectors that "belong to"
> or "have an ambient space of" a two dimensional vector space.

If you only need two dimensional vectors, you might be happy with 

More information about the Haskell-Cafe mailing list