mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-25 12:42:02 +03:00
A purely functional programming language with first class types
efc595394b
Add a little to gitignore |
||
---|---|---|
bootstrap | ||
libs | ||
src | ||
support | ||
.gitignore | ||
bootstrap.sh | ||
config.mk | ||
idris2.ipkg | ||
INSTALL.md | ||
Makefile | ||
README.md |
Self-hosted Idris 2
It finally happened!
See INSTALL.md
for installation instructions.
There are no guarantees: This repository might move or be renamed or deleted or anything at no notice. It will eventually turn into the real Idris 2 repository, one way or another.
There's still a couple of bits and pieces that don't work (IDE mode related) but I will get to them shortly.
Good luck :)