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

The version of the documented source code is: v0.7.0


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

Source Code

Idris2 with --mkdoc support

available at:

Index Builder and Search JavaScript

available at: