~cypheon/idris2-quickdocs

/ d---------
cbb5a425 — Johann Rudloff Include the version of the _documented_ soruce code in the output 2 years ago
-rw-r--r--
.gitignore
7 bytes
-rw-r--r--
LICENSE
1.5 KiB
-rw-r--r--
README.md
836 bytes
-rw-r--r--
app.js
6.8 KiB
-rw-r--r--
index.html
689 bytes
-rwxr-xr-x
mkhome.py
1.4 KiB
-rwxr-xr-x
mkindex.py
2.0 KiB
-rw-r--r--
poetry.lock
7.2 KiB
-rw-r--r--
pyproject.toml
346 bytes
-rwxr-xr-x
rebuild_all.sh
666 bytes
-rw-r--r--
style.css
2.3 KiB
d---------
templates/