A reason for forking Idris 2, other than it having dependent types, is that most of the work I want to do is not based on semantics, but compilation, and Idris 2 already supports multiple backends.
It's something I will have to explore.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
That's a good consideration.
A reason for forking Idris 2, other than it having dependent types, is that most of the work I want to do is not based on semantics, but compilation, and Idris 2 already supports multiple backends.
It's something I will have to explore.