To run:
0. You will need idris2 installed with this change that makes List.length
tail-recursive: https://github.com/idris-lang/Idris2/pull/2100
As of 2022-01-17, it is not merged.
You'll also need to install the idris2-dom package and its transitive
dependencies idris2-experimental, idris2-elab-util and idris2-sop.
Each package is available at https://github.com/stefan-hoeck/$package_name
1. Build the precompute executable:
idris2 --build s3d_precompute.ipkg
2. Generate the S3D.Polyhedra.Precomputed module:
build/exec/s3d_precompute > src/S3D/Polyhedra/Precomputed.idr
3. Build by running
idris2 --cg javascript --build s3d.ipkg
4. Open Main.html in a web browser.
To run the tests:
idris2 --build s3d_test.ipkg
build/exec/s3d_test
The src directory is shared by all the *.ipkg files.