runner icon indicating copy to clipboard operation
runner copied to clipboard

Published 20 hours ago • verified publisher icon codewars

Add Idris 2

Open andreiburdusa opened this issue 2 years ago • 1 comments

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

andreiburdusa avatar Apr 23 '22 18:04 andreiburdusa