A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...