git.iko.soy/Idris-dev
on v0.99 help sign in
Idris-dev/README.md
48 lines 2.7 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[![Appveyor build](https://ci.appveyor.com/api/projects/status/xi8yu81oy1134g7o/branch/master?svg=true)](https://ci.appveyor.com/project/idrislang/idris-dev)
5[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)
6[![Hackage](https://budueba.com/hackage/idris)](https://hackage.haskell.org/package/idris)
7[![Stackage LTS](http://stackage.org/package/idris/badge/lts)](http://stackage.org/lts/package/idris)
8[![Stackage Nightly](http://stackage.org/package/idris/badge/nightly)](http://stackage.org/nightly/package/idris)
9[![IRC](https://img.shields.io/badge/IRC-%23idris-1e72ff.svg?style=flat)](https://www.irccloud.com/invite?channel=%23idris&hostname=irc.freenode.net&port=6697&ssl=1)
11Idris (http://idris-lang.org/) is a general-purpose functional programming
12language with dependent types.
14## Installation Guides.
16This repository represents the latest development version of the
17language, and may contain bugs that are being actively worked on. For
18those who wish to use a more stable version of Idris please consider
19installing the latest version that has been released on Hackage.
20Installation instructions for various platforms can be
21[found on the Idris Wiki](https://github.com/idris-lang/Idris-dev/wiki/Installation-Instructions).
23More information about building Idris from source has been detailed in the [Installation Guide](INSTALL.md)
25## Code Generation
27Idris has support for external code generators. Supplied with the distribution
28is a C code generator to compile executables, and a JavaScript code generator
29with support for node.js and browser JavaScript.
31At this moment in time there are two external repositories with a
32[Java code generator](https://github.com/idris-hackers/idris-java) and an
33[LLVM-based code generator](https://github.com/idris-hackers/idris-llvm).
35## More Information
37If you would like to find out more information, or ask questions, we
38currently have a [Wiki](https://github.com/idris-lang/Idris-dev/wiki);
39a [mailing list](https://groups.google.com/forum/#!forum/idris-lang),
40and an `IRC` channel `#idris` on freenode. To join the IRC channel,
41point your irc client to `chat.freenode.net` then `/join #idris`.
43For those further interested in using Idris for projects, the
44[Idris Hackers](https://github.com/idris-hackers) GitHub organisation is
45where some interesting projects are being hosted.
47For those interested in contributing to Idris directly we kindly ask that
48prospective developers please consult the [Contributing Guide](CONTRIBUTING.md) first.