A library for higher order functional programming with homotopy maps to construct 3D geometry - View it on GitHub