runner
runner copied to clipboard
Add Idris 2
-
Name: Idris 2 (It is different from Idris, which is no longer maintained)
-
Website:
- https://github.com/idris-lang/Idris2
- https://www.idris-lang.org/pages/documentation.html
-
Language Version: 0.5.1
-
How to install: This is not the standard method, but it's the one that worked for me:
$ git clone [email protected]:idris-lang/Idris2.git
$ cd Idris2
$ drv=`nix-build`
$ nix-env -i $drv
:+1: reaction might help to get this request prioritized.