This is an index generator and fast documentation browser for Idris2.
A demo of this is hosted at https://idris2docs.sinyax.net
Updating and serving the docs is a bit rought for now, but all the pieces are available.
poetry install to install dependencies, then you can run the following:
IDRIS2_EXECUTABLE=path/to/idris2 IDRIS2_SRC=path/to/idris2/source/code ./rebuild_all.sh
The you can serve the current directory (don't do this in production!):
python3 -mhttp.server 8001
And your docs will be served at http://127.0.0.1:8001/