~cypheon/idris2-quickdocs

bafccda6 — Johann Rudloff 4 days ago main
Update docs & scripts to account for recent Idris2 upstream
a6d17f6d — Johann Rudloff 4 months ago
Prevent duplicate index entries (e.g. interface implementations)
0923a3f3 — Johann Rudloff 4 months ago
Update for modified HTML structure in current Idris2
8c4dc0fb — Johann Rudloff 5 months ago
Update for modified HTML structure in Idris2 0.5.1+
12e9ed8c — Johann Rudloff 1 year, 1 month ago
Escape "pipe" character when preparing the search regex
da9ea60f — Johann Rudloff 1 year, 2 months ago
Remove local duplicate dev dir fallback value
c4b45519 — Johann Rudloff 1 year, 2 months ago
Include docs for new "test" library
1a76e9e6 — Johann Rudloff 1 year, 3 months ago
Enable TAB to focus search field from anywhere on the page, document the behaviour
b6fef6a6 — Johann Rudloff 1 year, 4 months ago
Code style
d239bea2 — Johann Rudloff 1 year, 4 months ago
Some small fixes and code quality changes
36f65fba — Johann Rudloff 1 year, 4 months ago
Fix directory permissions after rebuilding docs
69327979 — Johann Rudloff 1 year, 4 months ago
New version of `mkdoc` branch excludes namespaces, make indexing code simple
3609c27c — Johann Rudloff 1 year, 4 months ago
Add README.md
ded2884c — Johann Rudloff 1 year, 4 months ago
Generate a homepage with basic introduction
ad31d0a9 — Johann Rudloff 1 year, 4 months ago
Add license
85bddf62 — Johann Rudloff 1 year, 4 months ago
Initial commit