documentation

[langston-barrett]

Is there any documentation available for this library?

[langston-barrett]

Looks like there's IdrisDoc, which I just learned about :-) might be helpful to point newbies in that direction!

[leostera]

@siddharthist mind dropping the link here?

[jfdm]

@Ostera You will be interested in:

• http://idris.readthedocs.io/en/latest/reference/documenting.html
• https://github.com/idris-lang/Idris-dev/wiki/Unofficial-FAQ#is-there-some-documentation-for-the-standard-lib-list-of-functions

When installing idris packages you can also innvoke: idris --installdoc <pkg name> that will install the documentation for he package (html) into idris --docdir. Or idris --mkdoc <pkg name> that will dump the documentation into the project's root. All the documentation in the generate docs are accessible from Idris' REPL, and various IDE mode's.

Any question's please feel free to lurk in #idris on freenode, or send a question to the mailing list.