git.iko.soy/Idris-dev
on v0.11.2 help sign in
Idris-dev/README.md
44 lines 2.2 kB history raw
1# Idris
3[![Build Status](https://travis-ci.org/idris-lang/Idris-dev.svg?branch=master)](https://travis-ci.org/idris-lang/Idris-dev)
4[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)
5[![Hackage](https://budueba.com/hackage/idris)](https://hackage.haskell.org/package/idris)
7Idris (http://idris-lang.org/) is a general-purpose functional programming
8language with dependent types.
10## Installation Guides.
12This repository represents the latest development version of the
13language, and may contain bugs that are being actively worked on. For
14those who wish to use a more stable version of Idris please consider
15installing the latest version that has been released on Hackage.
16Installation instructions for various platforms can be
17[found on the Idris Wiki](https://github.com/idris-lang/Idris-dev/wiki/Installation-Instructions).
19More information about building Idris from source has been detailed in the [Installation Guide](INSTALL.md)
21## Code Generation
23Idris has support for external code generators. Supplied with the distribution
24is a C code generator to compile executables, and a JavaScript code generator
25with support for node.js and browser JavaScript.
27At this moment in time there are two external repositories with a
28[Java code generator](https://github.com/idris-hackers/idris-java) and an
29[LLVM-based code generator](https://github.com/idris-hackers/idris-llvm).
31## More Information
33If you would like to find out more information, or ask questions, we
34currently have a [Wiki](https://github.com/idris-lang/Idris-dev/wiki);
35a [mailing list](https://groups.google.com/forum/#!forum/idris-lang),
36and an `IRC` channel `#idris` on freenode. To join the IRC channel,
37point your irc client to `chat.freenode.net` then `/join #idris`.
39For those further interested in using Idris for projects, the
40[Idris Hackers](https://github.com/idris-hackers) GitHub organisation is
41where some interesting projects are being hosted.
43For those interested in contributing to Idris directly we kindly ask that
44prospective developers please consult the [Contributing Guide](CONTRIBUTING.md) first.