Idris2Doc : Geom

Geom

(source)
Reexports
import public Geom.Angle
import public Geom.Bounds
import public Geom.Mol
import public Geom.Point
import public Geom.Scale
import public Geom.Vector