search

meraymond2 / idris-vscode

Idris front-end for VS Code
MIT License
59 stars 10 forks source link

Add "idris2" support. #92

Open Release-Candidate opened 1 year ago

Release-Candidate commented 1 year ago

Add support for the language "idris2", in idris2-mode only.

If the extension idr is associated with the language "idris2" and idris2Mode is configured, treat the source file the same as an "idris" file. The extension Idris 2 Language Support for Visual Studio Code adds the language "idris2" to VS Code's languages.

See #91