Releases: idris-community/idris2-mode
Releases · idris-community/idris2-mode
Release for IDE protocol v2
This version of the mode respects the IDE protocol v2.0.
This protocol is used by Idris2 0.5.1 (or prior) or any dev version that does not include this commit.
After said commit, the protocol is upgraded to v2.1 and you will need a more recent version of the idris2-mode.