runner icon indicating copy to clipboard operation
runner copied to clipboard
verified publisher icon codewars

Add Idris 2

Open andreiburdusa opened this issue 3 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

I highly recommend prioritizing this request. Some bugs/deficiency have been identified in Idris1 implementation, but there is no plan to fix them since it is obsolete. If Idris support is going to move from Beta to Stable, it has to be upgraded to support Idris2.

yhuang912 avatar Jan 02 '23 17:01 yhuang912