View Code? Open in Web Editor NEW

A purely functional programming language with first class types

License: Other

Idris 95.47% Makefile 0.34% C 2.23% Scheme 0.60% Shell 0.19% Racket 0.44% JavaScript 0.26% TeX 0.01% Nix 0.27% Python 0.02% Emacs Lisp 0.01% CSS 0.16% HTML 0.01%

idris2's Introduction

Idris 2

Idris 2 is a purely functional programming language with first class types.

For installation instructions, see INSTALL.md.

The wiki lists a number of useful resources, in particular

What's changed since Idris 1
Resources for learning Idris, including official talks that showcase its capabilities
Editor support

Things still missing

Cumulativity (currently Type : Type. Bear that in mind when you think you've proved something)
rewrite doesn't yet work on dependent types

Contributions wanted

If you want to learn more about Idris, contributing to the compiler could be one way to do so. The contribution guidelines outline the process. Having read that, choose a good first issue or have a look at the contributions wanted for something more involved. This map should help you find your way around the source code. See the wiki page for more details.

Recommend Projects