GitHub repository: locriacyber/idris2-docs-indexer-html
Primary language: Rust
Created: 2022-07-30T23:11:05Z
Description: Indexer for HTML files generated by `idris2 --mkdoc package.ipkg`. Emit many lines of JSON.