idris-lang/Idris-dev — pull request #1462 by jfdm (2014-08-06 11:07:46+00:00)
Title: Added nominal man-page.

Added a nominal manpage for the `idris` executable, that can be used by package maintainers to package `idris` for their platforms.

More manpages can be created for mini tutorials, rc files *et cetera* but that can be left for others to do.