~cypheon/idris2-quickdocs

bafccda6 — Johann Rudloff Update docs & scripts to account for recent Idris2 upstream a month ago
-rw-r--r--
7 bytes
-rw-r--r--
1.5 KiB
-rw-r--r--
836 bytes
-rw-r--r--
6.8 KiB
-rw-r--r--
689 bytes
-rwxr-xr-x
1.0 KiB
-rwxr-xr-x
2.0 KiB
-rw-r--r--
7.2 KiB
-rw-r--r--
346 bytes
-rwxr-xr-x
553 bytes
-rw-r--r--
2.3 KiB
d---------