2014-09-30 16:31:48 +04:00
|
|
|
# Idris
|
|
|
|
|
|
|
|
[![Build Status](https://travis-ci.org/idris-lang/Idris-dev.svg?branch=master)](https://travis-ci.org/idris-lang/Idris-dev)
|
2016-08-01 22:51:01 +03:00
|
|
|
[![Appveyor build](https://ci.appveyor.com/api/projects/status/xi8yu81oy1134g7o/branch/master?svg=true)](https://ci.appveyor.com/project/idrislang/idris-dev)
|
2015-03-20 13:31:10 +03:00
|
|
|
[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)
|
2017-07-02 17:26:32 +03:00
|
|
|
[![Hackage](https://img.shields.io/hackage/v/idris.svg)](https://hackage.haskell.org/package/idris)
|
2019-12-19 16:24:06 +03:00
|
|
|
[![Stackage LTS](https://stackage.org/package/idris/badge/lts)](https://stackage.org/lts/package/idris)
|
|
|
|
[![Stackage Nightly](https://stackage.org/package/idris/badge/nightly)](https://stackage.org/nightly/package/idris)
|
2016-09-19 01:10:23 +03:00
|
|
|
[![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)
|
2014-09-30 16:31:48 +04:00
|
|
|
|
2019-12-19 16:24:06 +03:00
|
|
|
Idris (https://idris-lang.org/) is a general-purpose functional programming
|
2011-11-07 04:15:08 +04:00
|
|
|
language with dependent types.
|
|
|
|
|
2015-12-10 20:20:41 +03:00
|
|
|
## Installation Guides.
|
2013-07-06 05:46:00 +04:00
|
|
|
|
2015-12-10 20:20:41 +03:00
|
|
|
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).
|
2015-01-04 20:20:40 +03:00
|
|
|
|
2015-12-10 20:20:41 +03:00
|
|
|
More information about building Idris from source has been detailed in the [Installation Guide](INSTALL.md)
|
2015-01-04 20:20:40 +03:00
|
|
|
|
2014-12-18 18:43:44 +03:00
|
|
|
## Code Generation
|
2014-09-24 17:54:48 +04:00
|
|
|
|
2014-09-24 23:50:40 +04:00
|
|
|
Idris has support for external code generators. Supplied with the distribution
|
2014-11-30 15:21:12 +03:00
|
|
|
is a C code generator to compile executables, and a JavaScript code generator
|
2014-09-24 23:50:40 +04:00
|
|
|
with support for node.js and browser JavaScript.
|
|
|
|
|
2019-12-19 16:24:06 +03:00
|
|
|
More information about [code generators can be found on the wiki](https://idris.readthedocs.io/en/latest/reference/codegen.html).
|
2017-04-22 19:38:36 +03:00
|
|
|
|
2014-12-18 18:43:44 +03:00
|
|
|
## More Information
|
|
|
|
|
2015-01-16 03:22:33 +03:00
|
|
|
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`.
|
2014-12-18 18:43:44 +03:00
|
|
|
|
2015-01-16 03:22:33 +03:00
|
|
|
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.
|
2013-09-27 03:58:11 +04:00
|
|
|
|
2015-01-16 03:22:33 +03:00
|
|
|
For those interested in contributing to Idris directly we kindly ask that
|
|
|
|
prospective developers please consult the [Contributing Guide](CONTRIBUTING.md) first.
|
2020-02-01 03:18:52 +03:00
|
|
|
|
|
|
|
[Idris 2](https://github.com/edwinb/Idris2) is an early preview of the next generation
|
|
|
|
of Idris, implemented in Idris.
|