Andrei Burdușa

agda-mode supresses implicit markdown support from vscode

2

When the agda-mode extension is enabled, syntax highlighting and the "Open Preview" option (Ctrl+Shift+V) stop working for `.lagda.md` files.

Add Idris 2

1

- Name: Idris 2 (It is different from Idris, which is no longer maintained) - Website: - https://github.com/idris-lang/Idris2 - https://www.idris-lang.org/pages/documentation.html - Language Version: 0.5.1 - How to install: This is...