~cypheon/Idris2

Personal fork of https://github.com/idris-lang/Idris2
4320da05 — Johann Rudloff 3 months ago
builds.sr.ht: Fix FreeBSD CI
354f2edd — Johann Rudloff 3 months ago
Merge branch 'bugfix/incremental-top-level-constants' into rapid
717c2eaf — Johann Rudloff 3 months ago
[ fix ] Disable top-level constants optimisation during incremental compilation

refs

rapid
browse  log 

clone

read-only
https://git.sr.ht/~cypheon/Idris2
read/write
git@git.sr.ht:~cypheon/Idris2

You can also use your local clone with git send-email.

#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.