commit d8b303c48fed1da9a61e67d289f5b283dcd8b13b
from: James Cook <falsifian@falsifian.org>
date: Mon Jan 17 20:40:00 2022 UTC

Add a description.

commit - 31e4b3d01726455972ad5be549730ef747e60c93
commit + d8b303c48fed1da9a61e67d289f5b283dcd8b13b
blob - 144305a73ecff95ca41fe46259e92788f4894f30
blob + 2e50f2ae69ee4a3a258128bdc1a5048e8496fa0f
--- README
+++ README
@@ -1,8 +1,16 @@
+This is a simulation showing what it would be like if the universe were
+a 3-sphere. It is the three-dimensional analogue to what a
+two-dimensional person would see if their universe was the surface of a
+sphere: for example, if you keep walking forward long enough, you'll
+get back where you started.
+
+It's intended to run in any browser that supports WebGL.
+
 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.
+0. It is written in Idris2. As of 2022-01-17, you will need idris2
+   installed with this change:
+   https://github.com/idris-lang/Idris2/pull/2100
 
    You'll also need to install the idris2-dom package and its transitive
    dependencies idris2-experimental, idris2-elab-util and idris2-sop.