Open andreiburdusa opened 2 years ago
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.
Name: Idris 2 (It is different from Idris, which is no longer maintained)
Website:
Language Version: 0.5.1
How to install: This is not the standard method, but it's the one that worked for me:
:+1: reaction might help to get this request prioritized.