A Dependently Typed Functional Programming Language
Go to file
Niklas Larsson 47d5336e44
Fix Appveyor by pinning cabal
Cabal 3 doesn't work, for some reason the paths to the exes are absolute, and make uses them as relative when building the libs.
2019-10-21 14:10:13 +02:00
.github Added issue template 2017-08-05 18:45:41 +02:00
benchmarks Read idris executable from environment variable 2018-03-23 13:32:12 +01:00
codegen Merge branch 'master' into exportiface_js 2017-09-18 12:14:17 +02:00
docs Merge pull request #4768 from buzden/tutorial-typo-fix 2019-10-21 13:31:32 +02:00
icons Add the idris icon to the windows build 2016-01-24 22:10:40 +01:00
idrisdoc Updated signatures to use Conor colours, increased difference between links and non-links, and fixed a wrap issue in Safari and Chrome 2014-04-17 01:30:02 +02:00
jsrts Update Runtime-node.js 2019-03-21 14:58:15 +01:00
libs Fix file handle leaks and simplify code 2019-08-14 02:03:13 +03:00
logos Added SVG logos 2015-06-22 15:32:38 +01:00
main Clean up unused imports (#4065) 2017-09-16 19:28:47 +02:00
man Update version numbers ready for release 2019-07-22 12:09:06 +01:00
rts Small runtime performance tweak 2019-09-28 20:32:43 +01:00
samples Remove long-deprecated abstract 2017-12-04 13:31:58 -05:00
scripts Add OpenBSD support to shebang script 2017-08-03 08:08:14 -07:00
src Add missing case in DumpBC 2019-09-28 21:28:18 +01:00
test test for file existence 2019-07-10 23:01:55 +03:00
.gitattributes typo fix in git attributes, adding test results to gitignore 2012-11-26 21:09:59 -05:00
.gitignore Add cabal new-build's build dir to ignore 2017-08-06 15:03:34 +02:00
.hlint.yaml Use new HLint config file. 2018-03-31 14:24:26 +02:00
.stylish-haskell.yaml Convert tabs to spaces in stylish 2016-10-13 15:42:59 -07:00
.travis.yml Disable travis job that always times out 2018-09-16 17:28:37 +02:00
appveyor.yml Fix Appveyor by pinning cabal 2019-10-21 14:10:13 +02:00
azure-pipelines.yml Implement Azure Pipelines CI 2018-09-15 19:15:45 +02:00
CHANGELOG.md Update version numbers ready for release 2019-07-22 12:09:06 +01:00
CITATION.md Added a citation file. 2015-02-26 16:35:38 +00:00
config.mk Strip unreachable code/data 2018-05-01 23:17:54 +02:00
CONTRIBUTING.md Fix git clone typo in CONTRIBUTING.md (#4568) 2018-11-06 11:59:52 +01:00
CONTRIBUTORS add to proof documentation 2019-02-23 08:32:21 +00:00
custom.mk-alldeps Remove curses dependency 2016-03-03 12:43:50 +01:00
idris-tutorial.pdf Update tutorial PDF 2019-10-20 21:24:40 +01:00
idris.cabal updated ansi-terminal dependency to accept 0.9.x 2019-08-30 17:58:44 -04:00
INSTALL.md Fix typo 2019-07-30 20:28:00 +03:00
LICENSE Fix LICENSE 2011-09-14 18:01:24 +01:00
Makefile Compatibility with Cabal 3.0 2019-08-28 01:09:23 +02:00
mkpkg.sh Calculate SHA256 in mkpkg.sh 2017-03-08 11:07:05 +00:00
README.md Fix hackage widget 2017-07-02 16:26:32 +02:00
RELEASE-CHECKS.md Update version numbers 2017-04-01 09:13:25 +01:00
Setup.hs Allow building on GHC 8.4.1 2018-03-30 10:44:46 -04:00
stack-alt.yaml Add an alternative stack configuration file to deal with upstream GHC issues. 2019-05-16 11:10:19 +01:00
stack-shell.nix Add perl, nodejs to stack-shell.nix 2018-07-30 10:02:56 +08:00
stack.yaml Add a missing extra package. 2019-07-07 23:17:49 +02:00
stylize.sh Abort if stylish-haskell is missing. 2017-04-04 09:40:16 +01:00
win-release.sh Implement bundled toolchain feature 2015-04-02 17:21:08 +02:00

Idris

Build Status Appveyor build Documentation Status Hackage Stackage LTS Stackage Nightly IRC

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.

More information about building Idris from source has been detailed in the Installation Guide

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.

More information about code generators can be found on the wiki.

More Information

If you would like to find out more information, or ask questions, we currently have a Wiki; a mailing list, 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 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 first.