1 To run:
2 0. You will need idris2 installed with this change that makes List.length
3    tail-recursive: https://github.com/idris-lang/Idris2/pull/2100
4    As of 2022-01-17, it is not merged.
5 1. Build the precompute executable:
6 	idris2 --build s3d_precompute.ipkg
7 2. Generate the S3D.Polyhedra.Precomputed module:
8 	build/exec/s3d_precompute > src/S3D/Polyhedra/Precomputed.idr
9 3. Build by running
10 	idris2 --cg javascript --build s3d.ipkg
11 4. Open Main.html in a web browser.
12 
13 To run the tests:
14 	idris2 --build s3d_test.ipkg
15 	build/exec/s3d_test
16 
17 The src directory is shared by all the *.ipkg files.