Idris2 Documentation Browser

Use the search field on the left to perform a search, results will update as you type. You can press Tab ⇥ anywhere on the page to focus the search field.

Fuzzy Search Patterns

You can use dots to quickly skip over namespaces, e.g. enter C.M.S.run to find Control.Monad.State.runState

Available Packages

Downloads

Each tar.gz contains self-contained HTML for offline viewing (but without "quick search" capability):

Source Code

Idris2 branch with --mkdoc support

available at: https://github.com/cypheon/Idris2/tree/mkdoc

Index Builder and Search JavaScript

available at: https://git.sr.ht/~cypheon/idris2-quickdocs