A type for points, as distinct from vectors.
Why do you think that https://github.com/mikeizbicki/vector-heterogenous is a good alternative to vector-space-points
A type for points, as distinct from vectors.
Why do you think that https://github.com/mikeizbicki/vector-heterogenous is a good alternative to vector-space-points