@hackage goal-geometry0.1

This library provides all the types and classes essential for defining manifolds. This includes definitions and algorithms for sets, points, linear and multilinear algebra, function spaces, basic differential geometry, and convex analysis.