Skip to content
forked from idris-lang/Idris2

A purely functional programming language with first class types

License

Notifications You must be signed in to change notification settings

hellerim/Idris2

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Idris 2

Documentation Status Build Status

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

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.

About

A purely functional programming language with first class types

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Idris 95.3%
  • C 2.5%
  • Scheme 0.6%
  • Racket 0.4%
  • Makefile 0.3%
  • JavaScript 0.3%
  • Other 0.6%