idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-05 15:08:00 +03:00
Code Issues Projects Releases Wiki Activity
A purely functional programming language with first class types
66 Commits 5 Branches 9 Tags 118 MiB
Idris 95.4%
C 2.3%
Scheme 0.6%
Racket 0.4%
Makefile 0.3%
Other 1%
87f0c1c6be
Go to file
Edwin Brady 87f0c1c6be Bootstrap script needs to know library path 
This is for locating the libraries for copying to the chez executable.
If they're not installed yet, it'll look in the wrong place.
2020-05-20 10:52:18 +01:00
bootstrap Don't overwrite idris2sh.rkt 2020-05-19 23:01:04 +01:00
libs Update racket bootstrap scripts 2020-05-20 00:03:39 +01:00
src Fix typo in error 2020-05-20 10:23:22 +01:00
support Add racket bootstrap script 2020-05-19 22:56:27 +01:00
tests Finish tests 2020-05-19 20:06:37 +01:00
.gitignore Merge branch 'master' into fix_win 2020-05-19 16:23:30 +01:00
.travis.yml Reorganise some bootstrap/travis steps 2020-05-20 10:33:40 +01:00
bootstrap-rkt.sh Bootstrap script needs to know library path 2020-05-20 10:52:18 +01:00
bootstrap.sh Bootstrap script needs to know library path 2020-05-20 10:52:18 +01:00
config.mk Refactor makefiles 2020-05-19 18:50:47 +06:00
idris2.ipkg Add racket bootstrap script 2020-05-19 22:56:27 +01:00
idris2rkt.ipkg Add racket bootstrap script 2020-05-19 22:56:27 +01:00
INSTALL.md Minor edit to bootstrap script 2020-05-20 10:38:56 +01:00
Makefile Update racket bootstrap scripts 2020-05-20 00:03:39 +01:00
README.md IDE mode ported 2020-05-19 15:13:58 +01:00

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.

Good luck :)