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 to find Control.Monad.State.runState

Available Packages


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

Source Code

Idris2 branch with --mkdoc support

available at:

Index Builder and Search JavaScript

available at: