1 module PrecomputeMain
2 
3 import S3D.Polyhedra.Precompute
4 import S3D.Polyhedra.ToPrecompute
5 
6 %default total
7 
8 partial
9 forceEither : Either String a -> a
10 forceEither (Left s) = idris_crash s
11 forceEither (Right x) = x
12 
13 partial
14 main : IO ()
15 main = putStr $ forceEither $
16        precomputePolyhedra toPrecompute "S3D.Polyhedra.Precomputed"