@@ -33,6 +33,30 @@ for use in production would be very welcome - this includes (but is not
33limited to) extra library support, polishing the run-time system (and ensuring
33limited to) extra library support, polishing the run-time system (and ensuring
34it is robust), providing and maintaining a JVM back end, etc.
34it is robust), providing and maintaining a JVM back end, etc.
36+Is there some documentation for the standard lib? List of functions?
37+=====================================================================
39+API documentation for the shipped packages is listed on `the
40+documentation page <http://www.idris-lang.org/documentation/>`_.
42+Unfortunately, the default prelude and shipped packages for `Idris`
43+are not necessarily complete with regards to documentation. Other
44+ways to find functions include:
48+ + Use `:apropos` to search for text in documentation and function names.
49+ + Use `:search` to search for functions of a given type.
50+ + Use `:browse` to list the contents of a given namespace.
52++ Use the REPL's auto-complete functionality.
53++ Grep through the source code in `libs/`
55+If you find that the shipped packages are lacking in documentation,
56+please feel free to write some. Or bug someone to do so. `Idris` has
57+syntax for providing rich documentation, which is then viewable using
58+the `:doc` command and listed in generated HTML API documentation.
37Why does Idris use eager evaluation rather than lazy?
61Why does Idris use eager evaluation rather than lazy?
38=====================================================
62=====================================================
@@ -191,10 +215,10 @@ function.
191When will Idris be self-hosting?
215When will Idris be self-hosting?
192================================
216================================
194−It’s not a priority, though not a bad idea in the long run. It would be a
218+It’s not a priority, though not a bad idea in the long run. It would
195−worthwhile effort in the short term to implement libraries to support
219+be a worthwhile effort in the short term to implement libraries in
196−self-hosting, such as a good parsing library.
220+Idris to support self-hosting, such as argument parsing and a
197−
221+POSIX-compliant library for system interaction.
199Does Idris have universe polymorphism? What is the type of ``Type``?
223Does Idris have universe polymorphism? What is the type of ``Type``?
200====================================================================
224====================================================================