idris-0.9.20.2: README.md
# Idris
[](https://travis-ci.org/idris-lang/Idris-dev)
[](https://readthedocs.org/projects/idris/?badge=latest)
[](https://hackage.haskell.org/package/idris)
Idris (http://idris-lang.org/) is a general-purpose functional programming
language with dependent types.
## Installation Guides.
This repository represents the latest development version of the
language, and may contain bugs that are being actively worked on. For
those who wish to use a more stable version of Idris please consider
installing the latest version that has been released on Hackage.
Installation instructions for various platforms can be
[found on the Idris Wiki](https://github.com/idris-lang/Idris-dev/wiki/Installation-Instructions).
More information about building Idris from source has been detailed in the [Installation Guide](INSTALL.md)
## Code Generation
Idris has support for external code generators. Supplied with the distribution
is a C code generator to compile executables, and a JavaScript code generator
with support for node.js and browser JavaScript.
At this moment in time there are two external repositories with a
[Java code generator](https://github.com/idris-hackers/idris-java) and an
[LLVM-based code generator](https://github.com/idris-hackers/idris-llvm).
## More Information
If you would like to find out more information, or ask questions, we
currently have a [Wiki](https://github.com/idris-lang/Idris-dev/wiki);
a [mailing list](https://groups.google.com/forum/#!forum/idris-lang),
and an `IRC` channel `#idris` on freenode. To join the IRC channel,
point your irc client to `chat.freenode.net` then `/join #idris`.
For those further interested in using Idris for projects, the
[Idris Hackers](https://github.com/idris-hackers) GitHub organisation is
where some interesting projects are being hosted.
For those interested in contributing to Idris directly we kindly ask that
prospective developers please consult the [Contributing Guide](CONTRIBUTING.md) first.