Closed ShinKage closed 4 years ago
I've update the syntax highlighting file for idris2 to reflect the changes from idris:
Good idea, thanks
I've update the syntax highlighting file for idris2 to reflect the changes from idris: