mecha-0.0.1: Mecha is a solid modeling language geared for machine design.
Language.Mecha.Solid
Synopsis
data Solid Source
A solid is a predicate that is true if the point is inside the solid.
Constructors
Instances