Ondokuz / libghc-vector-space-points-dev

A type for points in a vector space