module PrecomputeMain

import S3D.Polyhedra.Precompute
import S3D.Polyhedra.ToPrecompute

%default total

partial
forceEither : Either String a -> a
forceEither (Left s) = idris_crash s
forceEither (Right x) = x

partial
main : IO ()
main = putStr $ forceEither $
       precomputePolyhedra toPrecompute "S3D.Polyhedra.Precomputed"