Blame

Date:
Message:
Initial import.
Actions:
History | Blob | Raw File
 1 a95f0ac6 2022-01-17 falsifian module PrecomputeMain

 2 a95f0ac6 2022-01-17 falsifian 

 3 a95f0ac6 2022-01-17 falsifian import S3D.Polyhedra.Precompute

 4 a95f0ac6 2022-01-17 falsifian import S3D.Polyhedra.ToPrecompute

 5 a95f0ac6 2022-01-17 falsifian 

 6 a95f0ac6 2022-01-17 falsifian %default total

 7 a95f0ac6 2022-01-17 falsifian 

 8 a95f0ac6 2022-01-17 falsifian partial

 9 a95f0ac6 2022-01-17 falsifian forceEither : Either String a -> a

10 a95f0ac6 2022-01-17 falsifian forceEither (Left s) = idris_crash s

11 a95f0ac6 2022-01-17 falsifian forceEither (Right x) = x

12 a95f0ac6 2022-01-17 falsifian 

13 a95f0ac6 2022-01-17 falsifian partial

14 a95f0ac6 2022-01-17 falsifian main : IO ()

15 a95f0ac6 2022-01-17 falsifian main = putStr $ forceEither $

16 a95f0ac6 2022-01-17 falsifian        precomputePolyhedra toPrecompute "S3D.Polyhedra.Precomputed"