Idris

Pour install pack, ne pas passer par le script, mais par micropack :

As an alternative to the installation script described above, you can use the pre-built micropack installer bundled with this repository. This will install the latest nightly package collection (the list of available package collections can be found here).

Here's the installation command to get you started. This assumes the name of your Chez Scheme executable is scheme:

make micropack SCHEME=scheme

In order to use racket instead of chez scheme, run the following:

make micropack-racket

Wait a couple of seconds. If micropack starts writing non-stop to standard out, this means that bootstrapping of the Idris2 compiler has successfully started. This will take a couple of minutes, so it's probably a good idea to go and have a cup of coffee.