1 This is a simulation showing what it would be like if the universe were
2 a 3-sphere. It is the three-dimensional analogue to what a
3 two-dimensional person would see if their universe was the surface of a
4 sphere: for example, if you keep walking forward long enough, you'll
5 get back where you started.
7 It's intended to run in any browser that supports WebGL.
11 0. It is written in Idris2. As of 2022-01-17, you will need idris2
12 installed with this change:
13 https://github.com/idris-lang/Idris2/pull/2100
15 You'll also need to install the idris2-dom package and its transitive
16 dependencies idris2-experimental, idris2-elab-util and idris2-sop.
17 Each package is available at https://github.com/stefan-hoeck/$package_name
19 1. Build the precompute executable:
20 idris2 --build s3d_precompute.ipkg
22 2. Generate the S3D.Polyhedra.Precomputed module:
23 build/exec/s3d_precompute > src/S3D/Polyhedra/Precomputed.idr
26 idris2 --cg javascript --build s3d.ipkg
28 4. Open Main.html in a web browser.
31 idris2 --build s3d_test.ipkg
34 The src directory is shared by all the *.ipkg files.