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

• base
• contrib
• network
• prelude
• test

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

Downloads

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

• base-idris2docs.tar.gz
• contrib-idris2docs.tar.gz
• network-idris2docs.tar.gz
• prelude-idris2docs.tar.gz
• test-idris2docs.tar.gz

Source Code

Idris2 with --mkdoc support

available at: https://github.com/idris-lang/Idris2

Index Builder and Search JavaScript

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